Tests: why+alt-ergo
Depends: @, alt-ergo
Restrictions: allow-stderr

Tests: why+cvc3
Depends: @, cvc3
Restrictions: allow-stderr

Tests: why+coq
Depends: @, coq
Restrictions: allow-stderr
