Commit 50e61cc9 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'fix/andre/aorai-oracles-tmpdir' into 'stable/titanium'

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

See merge request frama-c/frama-c!2917
parents 8ce240e5 70068673
......@@ -71,11 +71,17 @@ let extend () =
wp_compute_kf kf
in
run f;
let tmpdir = Filename.get_temp_dir_name () in
let tmpdir =
match Filename.chop_suffix_opt ~suffix:"/" tmpdir with
| None -> tmpdir
| Some dir -> dir
in
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"
tmpdir ^ "/aorai_" ^
Filename.(
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