projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6076dfb) | patch
Support to test the "dumper" mechanism in regressions (feeding dump output back in...
authorMorgan Deters <mdeters@gmail.com>
Thu, 5 Apr 2012 20:07:30 +0000 (20:07 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 5 Apr 2012 20:07:30 +0000 (20:07 +0000)
commitf42542012fa0e59bdcca2b3f4c39b1a575d62140
treed6a15a5a40fa1e7cc7c9887811ba9b8c0220093btree
parent6076dfbf7f9f9be43f6c95cdfa4e292decc87baacommit | diff
Support to test the "dumper" mechanism in regressions (feeding dump output back in) by doing "make regress RUN_REGRESSION_ARGS=--dump"
19 files changed:
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/arith/Makefile.am diff | blob | history
test/regress/regress0/arith/integers/Makefile.am diff | blob | history
test/regress/regress0/arrays/Makefile.am diff | blob | history
test/regress/regress0/bv/Makefile.am diff | blob | history
test/regress/regress0/bv/core/Makefile.am diff | blob | history
test/regress/regress0/datatypes/Makefile.am diff | blob | history
test/regress/regress0/lemmas/Makefile.am diff | blob | history
test/regress/regress0/precedence/Makefile.am diff | blob | history
test/regress/regress0/preprocess/Makefile.am diff | blob | history
test/regress/regress0/push-pop/Makefile.am diff | blob | history
test/regress/regress0/uf/Makefile.am diff | blob | history
test/regress/regress0/uflia/Makefile.am diff | blob | history
test/regress/regress0/uflra/Makefile.am diff | blob | history
test/regress/regress1/Makefile.am diff | blob | history
test/regress/regress1/arith/Makefile.am diff | blob | history
test/regress/regress2/Makefile.am diff | blob | history
test/regress/regress3/Makefile.am diff | blob | history
test/regress/run_regression diff | blob | history