diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2020-10-28 14:52:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-28 16:52:18 -0500 |
| commit | c483eeb3505a61aa1b4f8432e07555176dd7598c (patch) | |
| tree | b38b3badddb354902efcb8193faae997a3fb8407 /src/expr | |
| parent | 66e80ff2464bfd7fb0904d972b43b96ff2bd9da8 (diff) | |
run_regression.py to fail on invalid requirements (#5264)
Currently, the following test is skipped when running ctest:
; REQUIRES: symfpuuuu
; EXPECT: sat
(set-logic ALL)
(assert true)
(check-sat)
I think it is better for such a test to fail, because otherwise it might never run without anyone noticing (this almost happened to me here: c7e277b).
This PR makes such tests to fail by checking whether the REQUIRES value is valid. No regressions fail as a result.
Co-authored-by: Mathias Preiner mathias.preiner@gmail.com
Diffstat (limited to 'src/expr')
0 files changed, 0 insertions, 0 deletions