diff options
Diffstat (limited to 'test/system/Makefile.am')
-rw-r--r-- | test/system/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 6430814a5..5fcc8833a 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -3,7 +3,8 @@ TEST_EXTENSIONS = .class CPLUSPLUS_TESTS = \ boilerplate \ ouroborous \ - two_smt_engines + two_smt_engines \ + smt2_compliance # cvc3_main TESTS = $(CPLUSPLUS_TESTS) |