Skip to content

Test: add generated test file example from coq-of-ocaml

Guillaume Claret requested to merge guillaume-claret@add-generated-test-code-example into master

For the students working on the tests.

Merge request reports