From 8fcad1f59e30aede6b9271f8535b44ad97d8200d Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 28 Oct 2020 13:07:54 +0100
Subject: [PATCH] [Aorai] avoid macOS issues with test oracles and
Filename.get_temp_dir_name
---
src/plugins/aorai/tests/Aorai_test.ml | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 7807773dd16..2bf03166acb 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -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
--
GitLab