-
Erwan Jahier authored
For the time being, it crashes if no valid oracle.ml exists in the user directory. Moreover, and the sut has to be named 'sut.ml' (resp. oracle.ml for the oracle). But otherwise, it works fine.
74f93d6c
For the time being, it crashes if no valid oracle.ml exists in the user directory. Moreover, and the sut has to be named 'sut.ml' (resp. oracle.ml for the oracle). But otherwise, it works fine.