diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-24 09:56:12 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-24 09:56:12 -0500 |
| commit | 3ea52a752bf9f67c294521ab0fe4d831c8d7f4dc (patch) | |
| tree | e7ffbab65c9ffa4f65ec2bb8a9f8ba33d6222e59 /test/regress/regress1/fmf/Makefile.am | |
| parent | 67ea40d24cbbcd3f490248754a6abc1989bacc7b (diff) | |
Add some regressions. Minor.
Diffstat (limited to 'test/regress/regress1/fmf/Makefile.am')
| -rw-r--r-- | test/regress/regress1/fmf/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress1/fmf/Makefile.am b/test/regress/regress1/fmf/Makefile.am index 3cb00d6ae..efaf535c6 100644 --- a/test/regress/regress1/fmf/Makefile.am +++ b/test/regress/regress1/fmf/Makefile.am @@ -17,7 +17,8 @@ endif # If a test shouldn't be run in e.g. competition mode, # put it below in "TESTS +=" TESTS = \ - ForElimination-scala-9.smt2 + ForElimination-scala-9.smt2 \ + nunchaku2309663.nun.min.smt2 EXTRA_DIST = $(TESTS) |