projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c64f23) | patch
Skip (get-unsat-assumptions) tests not supported (#1656)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 9 Mar 2018 18:54:31 +0000 (10:54 -0800)
committerAina Niemetz <aina.niemetz@gmail.com>
Fri, 9 Mar 2018 18:54:31 +0000 (10:54 -0800)
commit6330388f2606e82c4348de9ba6c62c4de7861cd9
tree8d0f91d5cec4605ba9a1e3a4e36f4cde26829ed5tree
parent4c64f2388a5dca50ecbd0610f9dcb13324345b94commit | 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.
test/regress/run_regression diff | blob | history