search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
132 stars 33 forks source link

Ignore :reproducible-resource-limit on non-Unix plateform #1200

Closed Halbaroth closed 3 months ago

Halbaroth commented 3 months ago

Our implementation of this option relies on Unix signals, which are not available on Windows for instance.

We ignore this option on Windows and emit a warning message. Notice that we already ignore the cli option --timelimit in parse_commands.