diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-10 20:15:24 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-11-10 20:15:24 +0000 |
| commit | 3544ad31b067fe6c54fcd34c058646852ef8d605 (patch) | |
| tree | ec2be7e7cd277ebf3557cb2e3db535bea9bb6d13 /test/regress/regress0/uflra | |
| parent | 8b5686a7dd0b559356e9e3bf76be93ad9c726085 (diff) | |
Fixed missing \ in uflra/Makefile.ma
Fixed another model bug and added previously failing fuzz testcase
Diffstat (limited to 'test/regress/regress0/uflra')
| -rw-r--r-- | test/regress/regress0/uflra/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/uflra/Makefile.am b/test/regress/regress0/uflra/Makefile.am index f4797a287..86a1a9431 100644 --- a/test/regress/regress0/uflra/Makefile.am +++ b/test/regress/regress0/uflra/Makefile.am @@ -34,9 +34,10 @@ SMT_TESTS = \ incorrect2.smt \ incorrect1.smt \ incorrect1.delta01.smt \ - incorrect1.delta02.smt + incorrect1.delta02.smt \ error1.smt \ neq-deltacomp.smt + # Regression tests for SMT2 inputs SMT2_TESTS = |