projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f98fc5) | patch
Modified a couple of regressoins to use ALL/QF_ALL instead of ALL_SUPPORTED/QF_ALL_SU...
authorClark Barrett <barrett@cs.stanford.edu>
Fri, 18 Nov 2016 23:09:07 +0000 (15:09 -0800)
committerClark Barrett <barrett@cs.stanford.edu>
Fri, 18 Nov 2016 23:09:07 +0000 (15:09 -0800)
commitd667fcca0c61cc0d7e08bce59c82dab338b4c071
treea8d660f0dd141c1fad3840af289c35351ef48098tree
parent4f98fc506f3cb09a59d8418fd0043e59e4aee57ecommit | diff
Modified a couple of regressoins to use ALL/QF_ALL instead of ALL_SUPPORTED/QF_ALL_SUPPORTED
test/regress/regress0/bug296.smt2 diff | blob | history
test/regress/regress0/bug484.smt2 diff | blob | history