From 9bea444e753a68b5e96e98e658b3d8ccc11adb6d Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 9 Jun 2022 11:53:42 +0200
Subject: [PATCH] [tests] fixes concurrent testing from different
configurations: -aorai-test-id
---
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 397ae1e9f09..709483f25f9 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -11,12 +11,13 @@ module P = Plugin.Register
let help = "utility script for aorai regtests"
end)
-module TestNumber =
- P.Zero
+module TestID =
+ P.String
(struct
- let option_name = "-aorai-test-number"
+ let option_name = "-aorai-test-id"
let help = "test number when multiple tests are run over the same file"
let arg_name = "n"
+ let default = "0"
end)
module InternalWpShare =
@@ -81,7 +82,7 @@ let extend () =
tmpdir ^ "/aorai_" ^
Filename.(
chop_extension (basename (List.hd (Kernel.Files.get()):>string))) ^
- "_" ^ (string_of_int (TestNumber.get ())) ^ ".i"
+ "_" ^ (TestID.get ()) ^ ".i"
in
let () =
Extlib.safe_at_exit
--
GitLab