projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 244fc0d) | patch
Add options and regressions to increase coverage (#8803)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 19 May 2022 17:09:09 +0000 (12:09 -0500)
committerGitHub <noreply@github.com>
Thu, 19 May 2022 17:09:09 +0000 (12:09 -0500)
commit34f343d6d5783f5df22a360b31c5cd0e9207e637
treee830376215f043dcb45318b3030b9ae284e743a8tree
parent244fc0d5f79148ec34b6dfb821d4427d470136bfcommit | diff
Add options and regressions to increase coverage (#8803)

Also corrects an issue with the text interface. When get-model is used with model cores, we do not currently filter the output. This ensures that we do.
src/smt/solver_engine.cpp diff | blob | history
src/smt/solver_engine.h diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/model-core-non-implied.smt2 [new file with mode: 0644] blob
test/regress/cli/regress0/model-core.smt2 diff | blob | history
test/regress/cli/regress1/push-pop/arith_lra_01.smt2 diff | blob | history
test/regress/cli/regress1/push-pop/fuzz_5_1.smt2 diff | blob | history
test/regress/cli/regress1/sygus/grammar_norm.sy [new file with mode: 0644] blob
test/regress/cli/regress2/arith/sc-7.base.cvc.smtv1.smt2 diff | blob | history
test/regress/cli/regress2/sygus/qgu-bools.sy diff | blob | history