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
Stris still not used in places that
- try to find a way to prevent future misuses of
Str, ideally at compile time or as part of the CI process.
To upload designs, you'll need to enable LFS. More information