Tests: eva
Depends: frama-c-base, why3, libwhy3-ocaml-dev (>= 1.5.0)

Tests: wp
Depends: frama-c-base, alt-ergo (>= 2.0.0), why3, libwhy3-ocaml-dev (>= 1.5.0)
Restrictions: skip-not-installable, allow-stderr
