Merge pull request #3253 from jix/smtbmc-nodeepcopy
authorJannis Harder <me@jix.one>
Mon, 28 Mar 2022 14:59:26 +0000 (16:59 +0200)
committerGitHub <noreply@github.com>
Mon, 28 Mar 2022 14:59:26 +0000 (16:59 +0200)
commit8cc8c5efde627e904eb58049d38218e70be3f046
treed8a8e3abbefef4b3f2b72842c2c88853fa5b9098
parent17e2a3048c8ec2610d5fbd52ad5ce52964644e66
parentd25daa6203fd7e19b9e829ebcad8f92780ddca1d
Merge pull request #3253 from jix/smtbmc-nodeepcopy

smtbmc: Avoid unnecessary deep copies during unrolling