projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba7dd53) | patch
Fix Makefiles in test
authorAndres Notzli <andres.noetzli@gmail.com>
Fri, 18 Nov 2016 02:24:47 +0000 (18:24 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Fri, 18 Nov 2016 02:24:47 +0000 (18:24 -0800)
commit0b94114e4e2aad0fe029190525949c97b32c80ae
tree32b71f6ab54c4cdf8ad787a747b7419765c90dc6tree
parentba7dd534de8f5d9bd746a7ed4c4a7b6ba11628e3commit | diff
Fix Makefiles in test

With the recent changes to the regress tests, some of the Makefiles were
not in sync anymore. This commit fixes that.
34 files changed:
test/Makefile.am diff | blob | history
test/regress/Makefile.levels diff | blob | history
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/aufbv/Makefile.am diff | blob | history
test/regress/regress0/auflia/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/decision/Makefile.am diff | blob | history
test/regress/regress0/fmf/Makefile.am diff | blob | history
test/regress/regress0/lemmas/Makefile.am diff | blob | history
test/regress/regress0/parser/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/push-pop/arith/Makefile.am diff | blob | history
test/regress/regress0/push-pop/boolean/Makefile.am diff | blob | history
test/regress/regress0/quantifiers/Makefile.am diff | blob | history
test/regress/regress0/rels/Makefile.am diff | blob | history
test/regress/regress0/rewriterules/Makefile.am diff | blob | history
test/regress/regress0/sep/Makefile.am diff | blob | history
test/regress/regress0/sets/Makefile.am diff | blob | history
test/regress/regress0/strings/Makefile.am diff | blob | history
test/regress/regress0/sygus/Makefile.am diff | blob | history
test/regress/regress0/tptp/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/regress0/unconstrained/Makefile.am diff | blob | history
test/system/Makefile.am diff | blob | history
test/unit/Makefile.am diff | blob | history