diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-12-06 04:45:06 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-12-06 06:45:06 -0600 |
commit | 6a37fd136eea6ad95aae4e598faee0d47c110343 (patch) | |
tree | fb6d016a14cded96e6b05d988f3c7856100dc71b /test/system/Makefile.am | |
parent | 108b5ed9d1f66884af7ede96155670bb1dc2fb43 (diff) |
Remove CDChunkList (#1414)
Diffstat (limited to 'test/system/Makefile.am')
-rw-r--r-- | test/system/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 55a6c2b09..1be242e3d 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -3,6 +3,7 @@ TEST_EXTENSIONS = .class CPLUSPLUS_TESTS = \ boilerplate \ ouroborous \ + reset_assertions \ two_smt_engines \ smt2_compliance \ statistics |