diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-29 15:35:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-29 17:35:44 -0500 |
| commit | 19054b3b1d427e662d30d4322df2b2f2361353da (patch) | |
| tree | 1ee878fd6c2c36b78ea33607a5668e6a6d8f7144 /test/system/CMakeLists.txt | |
| parent | 5cd6f0e5e910ad61ebc5045170842078818a3b80 (diff) | |
Make ExprManager constructor private (#4669)
This commit makes the ExprManager constructor private and updates the
initialization of subsolvers, unit tests, and system tests accordingly.
This is a step towards making options part of SmtEngine instead of
NodeManager.
Diffstat (limited to 'test/system/CMakeLists.txt')
| -rw-r--r-- | test/system/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index 420ce8e6f..041d14295 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -32,5 +32,5 @@ cvc4_add_system_test(reset_assertions) cvc4_add_system_test(sep_log_api) cvc4_add_system_test(smt2_compliance) cvc4_add_system_test(statistics) -cvc4_add_system_test(two_smt_engines) +cvc4_add_system_test(two_solvers) # TODO: Move CVC4JavaTest.java to test/java and delete run_java_test (after full cmake migration) |