diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-03 19:07:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-04 02:07:52 +0000 |
| commit | 441c53b1a68cc16a345eb0dc8d9956c1301ed509 (patch) | |
| tree | 81bd2ad3b42a61ed106c695a71c073e17af8da8e /test/regress/CMakeLists.txt | |
| parent | ebcddc25124fe3f92df314c13b3d690b46dbd1e8 (diff) | |
FP: Move removal of generic to_fp operations to rewriter. (#6480)
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 685ac8b4e..3f1ff1307 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -581,6 +581,7 @@ set(regress_0_tests regress0/fp/issue3619.smt2 regress0/fp/issue4277-assign-func.smt2 regress0/fp/issue5511.smt2 + regress0/fp/issue5734.smt2 regress0/fp/issue6164.smt2 regress0/fp/rti_3_5_bug.smt2 regress0/fp/simple.smt2 |