Skip to content
  • Erwan Jahier's avatar
    Add a --oracle-ec option to lutin. · 69ac49f9
    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