projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6de92e6) | patch
Regressions: Support for requiring CVC4 features (#2044)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 4 Jun 2018 17:56:19 +0000 (10:56 -0700)
committerGitHub <noreply@github.com>
Mon, 4 Jun 2018 17:56:19 +0000 (10:56 -0700)
commit8b7a4af93226b2ecb82814a7609855deea0230cd
tree92fe6135042046203cff69467e51a23222c11b3btree
parent6de92e6a6ac4dd81ff7f65bf33bddfabfc3e2c48commit | diff
Regressions: Support for requiring CVC4 features (#2044)

This commit adds supprt for the `REQUIRES` directive in our regression
benchmarks. This directive can be used to enable certain benchmarks only
if CVC4 has been configured with certain features enabled.
test/regress/Makefile.tests diff | blob | history
test/regress/README.md diff | blob | history
test/regress/regress0/fp/simple.smt2 [new file with mode: 0644] blob
test/regress/run_regression.py diff | blob | history