projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 618282e) | patch
Fix rewrite rules sat regressions (#3734)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 8 Feb 2020 23:08:13 +0000 (17:08 -0600)
committerGitHub <noreply@github.com>
Sat, 8 Feb 2020 23:08:13 +0000 (15:08 -0800)
commitaa18f9e6a3ef18071af3636871dc62c8ec0227b2
treefdf400236057dd0c36d7439e4358046725334acbtree
parent618282e081393683c3d986726b8601ba33310e79commit | diff
Fix rewrite rules sat regressions (#3734)

Quantifier rewrite rules are not robust to preprocessing within our check-model infrastructure. This disables check-model on 2 satisfiable rewrite rules regressions. Fixes nightlies.
test/regress/regress1/rewriterules/datatypes_sat.smt2 diff | blob | history
test/regress/regress1/rewriterules/length_gen_020_sat.smt2 diff | blob | history