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

Tests: frama-c+jessie+alt-ergo
Depends: @, frama-c-base, alt-ergo
Restrictions: allow-stderr
