summaryrefslogtreecommitdiff
path: root/test/regress/regress0/fmf/Makefile.am
diff options
context:
space:
mode:
authorajreynol <andrew.j.reynolds@gmail.com>2016-12-02 08:51:29 -0600
committerajreynol <andrew.j.reynolds@gmail.com>2016-12-02 08:51:29 -0600
commit623e701247ed08e3f59d57b18ebe42f4d4db221e (patch)
tree663fa6451f9055a7256bd5c5ba4b558aeb58f46e /test/regress/regress0/fmf/Makefile.am
parent9d6a0bda98ac2c3e3c59f55f349e029d623b264a (diff)
Refactor preprocessing of models in fmf. Fix options --fmf-empty-sorts and --fmf-fun-rlv, fixes bug 723.
Diffstat (limited to 'test/regress/regress0/fmf/Makefile.am')
-rw-r--r--test/regress/regress0/fmf/Makefile.am3
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am
index cea0d7686..31fdb0a40 100644
--- a/test/regress/regress0/fmf/Makefile.am
+++ b/test/regress/regress0/fmf/Makefile.am
@@ -56,7 +56,8 @@ TESTS = \
agree466.smt2 \
LeftistHeap.scala-8-ncm.smt2 \
sc-crash-052316.smt2 \
- bound-int-alt.smt2
+ bound-int-alt.smt2 \
+ bug723-irrelevant-funs.smt2
EXTRA_DIST = $(TESTS)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback