diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-05 17:41:18 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-05 17:41:18 -0500 |
| commit | f4b158635255affcafe52c7664fc5de4660c3f83 (patch) | |
| tree | c22a6b39b7b8137b5ca476188b4d8fad1430f45c /test/regress/regress0/fmf/Makefile.am | |
| parent | 5ce46e8a6ac10388b7a2032c7d67a81da0edbd5e (diff) | |
Do not eliminate extended arithmetic symbols when finite model finding is on, add regression.
Diffstat (limited to 'test/regress/regress0/fmf/Makefile.am')
| -rw-r--r-- | test/regress/regress0/fmf/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am index 593cdfa8b..b02443989 100644 --- a/test/regress/regress0/fmf/Makefile.am +++ b/test/regress/regress0/fmf/Makefile.am @@ -73,7 +73,8 @@ TESTS = \ constr-ground-to.smt2 \ bug-041417-set-options.cvc \ alg202+1.smt2 \ - fmf-fun-no-elim-ext-arith.smt2 + fmf-fun-no-elim-ext-arith.smt2 \ + fmf-fun-no-elim-ext-arith2.smt2 EXTRA_DIST = $(TESTS) |