Make sure that Str is not used in places that trywhy3 uses
js_of_ocaml
does not support Str
, which is used in Why3 in several places. We should:
- check that
Str
is still not used in places thattrywhy3
actually uses - try to find a way to prevent future misuses of
Str
, ideally at compile time or as part of the CI process.