Skip to content
  • Erwan Jahier's avatar
    Enhance ocaml support in lurette (cf 74f93d6c) · 533fac24
    Erwan Jahier authored
    The oracle is not necessary anymore to run a test.
    
    Moreover, the sut no more needs to (and must not) be named 'sut.ml'
    (resp.  'oracle.ml' for the oracle).
    
    Moreover, rename the env var EXTRA_CFILES into EXTRA_SOURCE_FILES, so that users
    use it for ocaml programs.
    533fac24