projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e76ae14) | patch
Fix run_regression for cvc expected outputs (#6317)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 8 Apr 2021 22:29:49 +0000 (17:29 -0500)
committerGitHub <noreply@github.com>
Thu, 8 Apr 2021 22:29:49 +0000 (17:29 -0500)
commitd671eff2c953acb5c19e5d912aca581babce57dc
tree89bd960d10ece77bdfb3d5c050fad357c1b4706etree
parente76ae145cdcf725d7d7dd3922d819539a7dc0e22commit | diff
Fix run_regression for cvc expected outputs (#6317)

Previously, we were not checking models / proofs / unsat cores for cvc inputs on CI.
test/regress/regress0/datatypes/datatype1.cvc diff | blob | history
test/regress/regress0/datatypes/datatype3.cvc diff | blob | history
test/regress/regress0/datatypes/wrong-sel-simp.cvc diff | blob | history
test/regress/run_regression.py diff | blob | history