diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-14 14:57:24 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-14 14:57:24 +0000 |
| commit | 61acf8c8d621799984e622b65598caec4acceb52 (patch) | |
| tree | 5f304f0e0c938decf6b72d83d439b2a9356f745f /test/regress/regress0/decision/Makefile.am | |
| parent | de6c0b0929f23fd3d01ae4c8bd3b93d4f484b7c7 (diff) | |
failing quantifier
Diffstat (limited to 'test/regress/regress0/decision/Makefile.am')
| -rw-r--r-- | test/regress/regress0/decision/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am index e443d7201..1cc605227 100644 --- a/test/regress/regress0/decision/Makefile.am +++ b/test/regress/regress0/decision/Makefile.am @@ -24,6 +24,7 @@ TESTS = \ # Incorrect answers: # aufbv-fuzz01.smt \ +# quant-ex1.smt2 \ # EXTRA_DIST = $(TESTS) |