projects / nmutil.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d5a0ec) | patch
add smtbmc_opts argument to assertFormal to allow passing more solver flags
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 04:53:04 +0000 (21:53 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 04:53:04 +0000 (21:53 -0700)
commit4f38a53d353e54cce7cff7a6b58dd1b477d5fbd5
tree635cdb0917404f649f8b910a6cb9319ce6149b9ctree
parent7d5a0ecb599eb0508e80eb13a0f1542114bb1637commit | diff
add smtbmc_opts argument to assertFormal to allow passing more solver flags
src/nmutil/formaltest.py diff | blob | history