diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-27 11:06:40 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-10-27 13:06:40 -0500 |
commit | 24936010e7d0dc644bd2bf1f533ac0abee678f6b (patch) | |
tree | c2eeb7b3d45e8d412ce39249912d4311a34f3c35 /test/regress/CMakeLists.txt | |
parent | 64cef995a521ac7211b9e3ed95c85deb186ff352 (diff) |
Fix global-declarations support (#3403)
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 8fc4b6410..7c0ab47a0 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -846,6 +846,7 @@ set(regress_0_tests regress0/smallcnf.cvc regress0/smt2output.smt2 regress0/smtlib/get-unsat-assumptions.smt2 + regress0/smtlib/global-decls.smt2 regress0/smtlib/reason-unknown.smt2 regress0/smtlib/set-info-status.smt2 regress0/strings/bug001.smt2 |