-
Erwan Jahier authored
Try to push the reusable part of the code in the coverage and LustreRun modules, so that chekRif.ml only contains administration stuff (dealing with options) plus a simple top-level loop. The rationale would be to be able to reuse that stuff from lutin for instance.
2d1cd4ed