diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-03-09 10:54:31 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-03-09 10:54:31 -0800 |
| commit | 6330388f2606e82c4348de9ba6c62c4de7861cd9 (patch) | |
| tree | 8d0f91d5cec4605ba9a1e3a4e36f4cde26829ed5 /src/compat | |
| parent | 4c64f2388a5dca50ecbd0610f9dcb13324345b94 (diff) | |
Skip (get-unsat-assumptions) tests not supported (#1656)
(get-unsat-assumptions) requires the proof infrastructure,so we can't
run the regression tests if CVC4 has not been configured for it. This
commit changes the regression script to skip tests containing
(get-unsat-assumptions) when CVC4 has not been compiled with proof
support.
Diffstat (limited to 'src/compat')
0 files changed, 0 insertions, 0 deletions