-
Erwan Jahier authored
This was done by moving most of the code from checkRif.ml to lustreRun.ml (new module) and coverage.ml, so that checkRif only contains administration stuff (dealing with options) plus a simple top-level loop. I've added some tests in exemple/lutin/oracle.
69ac49f9