--no-stdlib always crashes
The option --no-stdlib
does not correctly works.
module M
type t
predicate p (x : t) = true
lemma l: forall x. p x
end
with the command line why3 --no-stdlib prove -P cvc4 test.mlw
.
The option --no-stdlib
does not correctly works.
module M
type t
predicate p (x : t) = true
lemma l: forall x. p x
end
with the command line why3 --no-stdlib prove -P cvc4 test.mlw
.