Skip to content

Disable translation of functions with errors

Guillaume Claret requested to merge guillaume-claret@disable-functions-with-segfault into master

Disable the translation of functions doing a "stack overflow" with coq-of-ocaml.

Merge request reports