diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-14 21:54:25 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-14 21:54:25 +0000 |
| commit | 56013a80a76b0d46f6f8497d7570e51877dbf99d (patch) | |
| tree | 9d4ed01590a15b13b91485333fd497e26889e0c0 /test/regress/regress0/auflia/Makefile.am | |
| parent | b273e586629c5759dc88cd962e52a89f65b674a7 (diff) | |
bug fixes to models, array rewriter with previously failing testcases
Diffstat (limited to 'test/regress/regress0/auflia/Makefile.am')
| -rw-r--r-- | test/regress/regress0/auflia/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/regress/regress0/auflia/Makefile.am b/test/regress/regress0/auflia/Makefile.am index 362209579..ed810eaeb 100644 --- a/test/regress/regress0/auflia/Makefile.am +++ b/test/regress/regress0/auflia/Makefile.am @@ -15,7 +15,10 @@ endif TESTS = \ bug330.smt2 \ bug336.smt2 \ - fuzz01.delta01.smt + fuzz01.delta01.smt \ + fuzz02.smt \ + fuzz03.smt \ + fuzz04.smt EXTRA_DIST = $(TESTS) |