projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ca4a5c) | patch
cmake: Added regression tests and target make regress.
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 18 Aug 2018 01:25:27 +0000 (18:25 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commitdb75dee2b0644e141fd076769b5f46275c61dff3
treebb6b3673713525388594cce75e7c8dc1eb3174eetree
parent1ca4a5cc3697d5df15ed18c07531b349625866f8commit | diff
cmake: Added regression tests and target make regress.
60 files changed:
CMakeLists.txt diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/arith/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/arith/integers/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/arrays/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/aufbv/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/auflia/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/bv/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/bv/core/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/datatypes/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/decision/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/expect/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/fmf/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/lemmas/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/nl/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/parser/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/precedence/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/preprocess/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/push-pop/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/push-pop/arith/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/push-pop/boolean/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/quantifiers/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/rels/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/rewriterules/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sep/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sets/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sets/feb3/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sets/jan24/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sets/jan27/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sets/jan28/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sets/jan30/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sets/mar2014/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/strings/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/sygus/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/tptp/Axioms/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/tptp/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/uf/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/uflia/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/uflra/CMakeLists.txt [deleted file] blob | history
test/regress/regress0/unconstrained/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/aufbv/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/auflia/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/bv/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/datatypes/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/decision/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/fmf/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/lemmas/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/nl/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/quantifiers/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/rewriterules/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/sep/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/sets/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/strings/CMakeLists.txt [deleted file] blob | history
test/regress/regress1/sygus/CMakeLists.txt [deleted file] blob | history
test/regress/regress2/CMakeLists.txt [deleted file] blob | history
test/regress/regress2/arith/CMakeLists.txt [deleted file] blob | history
test/regress/regress3/CMakeLists.txt [deleted file] blob | history
test/regress/regress4/CMakeLists.txt [deleted file] blob | history