diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-01-25 16:36:19 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-01-25 16:36:19 +0000 |
| commit | c6654673bfbf2358f2461f7ba3735d9142aa91b7 (patch) | |
| tree | 51eb0f18a76c8af7305f97f1abedc6c9cc2a576a /test/regress/regress1/Makefile.am | |
| parent | d9df9a78b51bb4a455d15810924bc8b537934833 (diff) | |
Adding regress1 test ooo.rf6.smt2.
Diffstat (limited to 'test/regress/regress1/Makefile.am')
| -rw-r--r-- | test/regress/regress1/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress1/Makefile.am b/test/regress/regress1/Makefile.am index 0efdf345f..c7087219a 100644 --- a/test/regress/regress1/Makefile.am +++ b/test/regress/regress1/Makefile.am @@ -22,7 +22,8 @@ TESTS = bug136.smt \ hash_sat_07_17.smt2 \ ooo.tag10.smt2 \ hash_sat_06_19.smt2 \ - hash_sat_09_09.smt2 + hash_sat_09_09.smt2 \ + ooo.rf6.smt2 EXTRA_DIST = $(TESTS) |