-
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