Skip to content
  • Erwan Jahier's avatar
    Some work on check-rif. · 2d1cd4ed
    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