projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfdb4be) | patch
fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug217...
authorMorgan Deters <mdeters@gmail.com>
Wed, 20 Oct 2010 04:09:50 +0000 (04:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 20 Oct 2010 04:09:50 +0000 (04:09 +0000)
commitdaad722774087de1cf35714868d3762b3ea7cb21
tree60c088f7a81b956c86a2439a5ffb255e07181498tree
parentbfdb4be24bfa474e6036a993e5afac16e77b4d2acommit | diff
fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug217.smt2 as regressions; fix to build system to only run regressions (not units) if you "make -C test regress", for example (this matches behavior elsewhere)
Makefile.subdir diff | blob | history
src/util/result.cpp diff | blob | history
src/util/result.h diff | blob | history
test/Makefile diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug220.smt2 [new file with mode: 0644] blob
test/regress/regress0/uf/bug217.smt2 [new file with mode: 0644] blob
test/system/Makefile diff | blob | history
test/unit/Makefile diff | blob | history