Commit 412ff9e0 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Make sure use the oracle in the SUT directory. Otherwise, strange things...

Make sure use the oracle in the SUT directory. Otherwise, strange things happen from times to times.
parent f90c4dc2
......@@ -115,7 +115,7 @@ exemple-pascal
AUBANEL/
EZDL/
OcamlMakefile.orig
OcamlMakefile.origlo
demo-hs/
demo-lutin/
mlglade/
......@@ -125,3 +125,4 @@ renault/
sim2chrogtk
source/examples/
source_save
OcamlMakefile.orig
\ No newline at end of file
......@@ -2439,10 +2439,7 @@ let (read_commands : string -> (unit -> string) -> bool) =
( match flag.oracle with
None -> false
| Some oracle ->
let stat3 =
Unix.stat
(Filename.concat flag.sut_dir oracle)
in
let stat3 = Unix.stat (Filename.concat flag.sut_dir oracle) in
(stat3.Unix.st_mtime > stat2.Unix.st_mtime)
)
)
......@@ -2505,7 +2502,7 @@ let (read_commands : string -> (unit -> string) -> bool) =
(* ditto, the user ougth to compile it explicitetly *)
then
if
let stat1 = Unix.stat (oracle)
let stat1 = Unix.stat (Filename.concat flag.sut_dir oracle)
and stat2 = Unix.stat gen_c_file_oracle
in
(stat1.Unix.st_mtime > stat2.Unix.st_mtime)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment