diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-16 18:18:35 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-16 18:18:35 -0400 |
commit | 647c6045788cd586c4534e0b63744bff4dd2f1ef (patch) | |
tree | 5288d6885e0e8b5b046908f36285b490aaacf859 /test/regress/regress0/sets/Makefile.am | |
parent | 801e6b84901c76dbeaebe756397909b0db1ee947 (diff) |
sets: fix a bug in model building, another in handling set of sets
Diffstat (limited to 'test/regress/regress0/sets/Makefile.am')
-rw-r--r-- | test/regress/regress0/sets/Makefile.am | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/regress/regress0/sets/Makefile.am b/test/regress/regress0/sets/Makefile.am index 6d718553d..7f1f07461 100644 --- a/test/regress/regress0/sets/Makefile.am +++ b/test/regress/regress0/sets/Makefile.am @@ -31,6 +31,7 @@ TESTS = \ jan24/remove_check_free_31_6.smt2 \ sets-inter.smt2 \ sets-equal.smt2 \ + sets-disequal.smt2 \ union-2.smt2 \ jan27/deepmeas0.hs.fqout.cvc4.41.smt2 \ jan27/ListConcat.hs.fqout.cvc4.177.smt2 \ @@ -69,10 +70,10 @@ EXTRA_DIST = $(TESTS) #TESTS += \ # error.cvc #endif -# -# and make sure to distribute it -#EXTRA_DIST += \ -# error.cvc + +# disabled tests, yet distribute +EXTRA_DIST += \ + setofsets-disequal.smt2 # synonyms for "check" .PHONY: regress regress0 test |