diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-24 20:56:21 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-24 20:56:21 -0500 |
commit | 78b3f62746e95b915436c6a9bb57dab7be4d4fa4 (patch) | |
tree | 57c36e4803b1be7919c5d7be0cafe33a60b2fd54 /test/regress/CMakeLists.txt | |
parent | 7988675ce9666b6f2214b583d42b9fa8be52ae60 (diff) |
Return choice functions for approximate values in get-value (#3304)
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 a97670446..6dc44e314 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -540,6 +540,7 @@ set(regress_0_tests regress0/nl/nta/tan-rewrite.smt2 regress0/nl/real-as-int.smt2 regress0/nl/real-div-ufnra.smt2 + regress0/nl/sqrt2-value.smt2 regress0/nl/subs0-unsat-confirm.smt2 regress0/nl/very-easy-sat.smt2 regress0/nl/very-simple-unsat.smt2 |