diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-03 10:48:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-03 17:48:06 +0000 |
| commit | fc98e575192e6a07e0cb56118d8800ee7c98c6a0 (patch) | |
| tree | 8527068312c9c48c6346116d922fbe91ada64b60 /test/regress/CMakeLists.txt | |
| parent | 0daac05ab78459a3f3d773daea41e5eee9aa78f2 (diff) | |
SymFPU: Automatically apply patch from 2020-11-14. (#6471)
This automatically applies @martin-cs's working patch from 2020-11-14.
It fixes several issues, all covered open issues are added as
regression tests.
Fixes #3582.
Fixes #5511.
Fixes #6164.
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 8773c3583..765b12e90 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -573,10 +573,14 @@ set(regress_0_tests regress0/fp/abs-unsound2.smt2 regress0/fp/down-cast-RNA.smt2 regress0/fp/ext-rew-test.smt2 + regress0/fp/from_ubv.smt2 regress0/fp/issue-5524.smt2 regress0/fp/issue3536.smt2 + regress0/fp/issue3582.smt2 regress0/fp/issue3619.smt2 regress0/fp/issue4277-assign-func.smt2 + regress0/fp/issue5511.smt2 + regress0/fp/issue6164.smt2 regress0/fp/rti_3_5_bug.smt2 regress0/fp/simple.smt2 regress0/fp/wrong-model.smt2 |