Commit 8fcad1f5 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[Aorai] avoid macOS issues with test oracles and Filename.get_temp_dir_name

parent cc18134c
......@@ -72,10 +72,11 @@ let extend () =
in
run f;
let tmpfile =
Filename.get_temp_dir_name () ^ "/aorai_" ^
(Filename.chop_extension
(Filename.basename (List.hd (Kernel.Files.get()):>string))) ^ "_" ^
(string_of_int (TestNumber.get ())) ^ ".i"
Filename.(concat (get_temp_dir_name ())
("aorai_" ^
(chop_extension
(basename (List.hd (Kernel.Files.get()):>string))) ^
"_" ^ (string_of_int (TestNumber.get ())) ^ ".i"))
in
let () =
Extlib.safe_at_exit
......
Markdown is supported
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