From d496fa3753a35f53b55f802ede7fd012aed84d89 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 24 Sep 2020 19:43:04 +0200
Subject: [PATCH] [aorai] move tests libraries at toplevel test directory
---
src/plugins/aorai/Makefile.in | 4 ++--
src/plugins/aorai/tests/{aorai => }/Aorai_test.ml | 0
src/plugins/aorai/tests/aorai/assigns.c | 4 ++--
src/plugins/aorai/tests/aorai/bts1289.i | 4 ++--
src/plugins/aorai/tests/aorai/declared_function.i | 2 +-
src/plugins/aorai/tests/aorai/deterministic.i | 2 +-
src/plugins/aorai/tests/aorai/formals.i | 2 +-
src/plugins/aorai/tests/aorai/generate_assigns_bts1290.i | 2 +-
src/plugins/aorai/tests/aorai/goto.c | 2 +-
src/plugins/aorai/tests/aorai/hoare_seq.i | 2 +-
src/plugins/aorai/tests/aorai/incorrect.i | 2 +-
src/plugins/aorai/tests/aorai/loop_bts1050.i | 2 +-
src/plugins/aorai/tests/aorai/monostate.i | 2 +-
src/plugins/aorai/tests/aorai/not_prm.i | 2 +-
src/plugins/aorai/tests/aorai/other.c | 2 +-
src/plugins/aorai/tests/aorai/seq.i | 2 +-
src/plugins/aorai/tests/aorai/seq_loop.i | 2 +-
src/plugins/aorai/tests/aorai/single_call.i | 2 +-
src/plugins/aorai/tests/aorai/test_acces_params.c | 2 +-
src/plugins/aorai/tests/aorai/test_acces_params2.c | 2 +-
src/plugins/aorai/tests/aorai/test_boucle.c | 2 +-
src/plugins/aorai/tests/aorai/test_boucle1.c | 2 +-
src/plugins/aorai/tests/aorai/test_boucle2.c | 2 +-
src/plugins/aorai/tests/aorai/test_boucle3.c | 2 +-
src/plugins/aorai/tests/aorai/test_boucle_rechercheTableau.c | 2 +-
src/plugins/aorai/tests/aorai/test_factorial.c | 2 +-
src/plugins/aorai/tests/aorai/test_factorial2.c | 2 +-
src/plugins/aorai/tests/aorai/test_recursion1.c | 2 +-
src/plugins/aorai/tests/aorai/test_recursion2.c | 4 ++--
src/plugins/aorai/tests/aorai/test_recursion4.c | 2 +-
src/plugins/aorai/tests/aorai/test_recursion5.c | 2 +-
src/plugins/aorai/tests/aorai/test_struct.c | 2 +-
src/plugins/aorai/tests/aorai/test_switch2.c | 2 +-
src/plugins/aorai/tests/aorai/test_switch3.c | 2 +-
src/plugins/aorai/tests/aorai/test_switch3_et_recursion.c | 2 +-
src/plugins/aorai/tests/aorai/test_switch3_if.c | 2 +-
src/plugins/aorai/tests/aorai/test_switch3_return.c | 2 +-
37 files changed, 40 insertions(+), 40 deletions(-)
rename src/plugins/aorai/tests/{aorai => }/Aorai_test.ml (100%)
diff --git a/src/plugins/aorai/Makefile.in b/src/plugins/aorai/Makefile.in
index 7f987274ff7..0e0b5764a30 100644
--- a/src/plugins/aorai/Makefile.in
+++ b/src/plugins/aorai/Makefile.in
@@ -80,7 +80,7 @@ PLUGIN_NO_DEFAULT_TEST:=yes
endif
PLUGIN_TESTS_DIRS:=aorai
-PLUGIN_TESTS_LIB:=$(PLUGIN_DIR)/tests/aorai/Aorai_test.ml $(PLUGIN_DIR)/tests/aorai/name_projects.ml
+PLUGIN_TESTS_LIB:=$(PLUGIN_DIR)/tests/Aorai_test.ml $(PLUGIN_DIR)/tests/aorai/name_projects.ml
include $(FRAMAC_SHARE)/Makefile.dynamic
@@ -101,7 +101,7 @@ $(Aorai_DIR)/tests/test_config_prove: \
$(SED) -e 's!@AORAI_WP_SHARE@!$(AORAI_WP_SHARE)!' $< > $@
$(CHMOD_RO) $@
-Aorai_DEFAULT_TESTS: $(Aorai_DIR)/tests/aorai/Aorai_test.cmxs $(Aorai_DIR)/tests/aorai/Aorai_test.cmo $(Aorai_DIR)/tests/aorai/name_projects.cmxs $(Aorai_DIR)/tests/aorai/name_projects.cmo
+Aorai_DEFAULT_TESTS: $(Aorai_DIR)/tests/Aorai_test.cmxs $(Aorai_DIR)/tests/Aorai_test.cmo $(Aorai_DIR)/tests/aorai/name_projects.cmxs $(Aorai_DIR)/tests/aorai/name_projects.cmo
# Regenerating the Makefile on need
diff --git a/src/plugins/aorai/tests/aorai/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
similarity index 100%
rename from src/plugins/aorai/tests/aorai/Aorai_test.ml
rename to src/plugins/aorai/tests/Aorai_test.ml
diff --git a/src/plugins/aorai/tests/aorai/assigns.c b/src/plugins/aorai/tests/aorai/assigns.c
index 843e5dd5119..15e4e3c4b54 100644
--- a/src/plugins/aorai/tests/aorai/assigns.c
+++ b/src/plugins/aorai/tests/aorai/assigns.c
@@ -1,6 +1,6 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/assigns.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
- OPT: -aorai-automata tests/aorai/assigns_det.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/assigns.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/assigns_det.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
MODULE: @PTEST_DIR@/name_projects.cmxs
OPT: -aorai-automata tests/aorai/assigns.ya -aorai-test 1 -then -print
*/
diff --git a/src/plugins/aorai/tests/aorai/bts1289.i b/src/plugins/aorai/tests/aorai/bts1289.i
index beafc74f471..9cf6122636b 100644
--- a/src/plugins/aorai/tests/aorai/bts1289.i
+++ b/src/plugins/aorai/tests/aorai/bts1289.i
@@ -1,6 +1,6 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/bts1289.ya -load-module tests/aorai/Aorai_test.cmxs -aorai-test 1 -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
- OPT: -aorai-automata tests/aorai/bts1289-2.ya -load-module tests/aorai/Aorai_test.cmxs -aorai-test 1 -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/bts1289.ya -load-module tests/Aorai_test.cmxs -aorai-test 1 -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/bts1289-2.ya -load-module tests/Aorai_test.cmxs -aorai-test 1 -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
void a(void) {}
diff --git a/src/plugins/aorai/tests/aorai/declared_function.i b/src/plugins/aorai/tests/aorai/declared_function.i
index 6f8d33d4208..53bcdfd71ad 100644
--- a/src/plugins/aorai/tests/aorai/declared_function.i
+++ b/src/plugins/aorai/tests/aorai/declared_function.i
@@ -1,5 +1,5 @@
/* run.config*
-OPT: -aorai-automata @PTEST_DIR@/@PTEST_NAME@.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+OPT: -aorai-automata @PTEST_DIR@/@PTEST_NAME@.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int f(void);
diff --git a/src/plugins/aorai/tests/aorai/deterministic.i b/src/plugins/aorai/tests/aorai/deterministic.i
index 6361d59e5bc..f0171ca436a 100644
--- a/src/plugins/aorai/tests/aorai/deterministic.i
+++ b/src/plugins/aorai/tests/aorai/deterministic.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/deterministic.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/deterministic.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int X;
diff --git a/src/plugins/aorai/tests/aorai/formals.i b/src/plugins/aorai/tests/aorai/formals.i
index 86dbcd26326..6ff8527a52c 100644
--- a/src/plugins/aorai/tests/aorai/formals.i
+++ b/src/plugins/aorai/tests/aorai/formals.i
@@ -1,5 +1,5 @@
/* run.config*
-OPT: -aorai-automata tests/aorai/formals.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+OPT: -aorai-automata tests/aorai/formals.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int f(int x) { return x; }
diff --git a/src/plugins/aorai/tests/aorai/generate_assigns_bts1290.i b/src/plugins/aorai/tests/aorai/generate_assigns_bts1290.i
index abc221ef748..81fb7f1a514 100644
--- a/src/plugins/aorai/tests/aorai/generate_assigns_bts1290.i
+++ b/src/plugins/aorai/tests/aorai/generate_assigns_bts1290.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/generate_assigns_bts1290.ya -load-module tests/aorai/Aorai_test.cmxs -aorai-test 1 -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/generate_assigns_bts1290.ya -load-module tests/Aorai_test.cmxs -aorai-test 1 -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
void main(void)
{
diff --git a/src/plugins/aorai/tests/aorai/goto.c b/src/plugins/aorai/tests/aorai/goto.c
index 4bfdb268546..74c4a0c9ffc 100644
--- a/src/plugins/aorai/tests/aorai/goto.c
+++ b/src/plugins/aorai/tests/aorai/goto.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/goto.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/goto.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int status=0;
diff --git a/src/plugins/aorai/tests/aorai/hoare_seq.i b/src/plugins/aorai/tests/aorai/hoare_seq.i
index 895b1640400..39e87b49e02 100644
--- a/src/plugins/aorai/tests/aorai/hoare_seq.i
+++ b/src/plugins/aorai/tests/aorai/hoare_seq.i
@@ -1,5 +1,5 @@
/* run.config*
-OPT: -aorai-automata tests/aorai/hoare_seq.ya -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+OPT: -aorai-automata tests/aorai/hoare_seq.ya -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
void f(void) { }
diff --git a/src/plugins/aorai/tests/aorai/incorrect.i b/src/plugins/aorai/tests/aorai/incorrect.i
index 6a904675b53..fae082d3120 100644
--- a/src/plugins/aorai/tests/aorai/incorrect.i
+++ b/src/plugins/aorai/tests/aorai/incorrect.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata @PTEST_DIR@/@PTEST_NAME@.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata @PTEST_DIR@/@PTEST_NAME@.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int f(void);
diff --git a/src/plugins/aorai/tests/aorai/loop_bts1050.i b/src/plugins/aorai/tests/aorai/loop_bts1050.i
index d6d2cef2968..73fd922002a 100644
--- a/src/plugins/aorai/tests/aorai/loop_bts1050.i
+++ b/src/plugins/aorai/tests/aorai/loop_bts1050.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/loop_bts1050.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/loop_bts1050.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
void f(){};
diff --git a/src/plugins/aorai/tests/aorai/monostate.i b/src/plugins/aorai/tests/aorai/monostate.i
index 1eedae0ff61..9dade69c092 100644
--- a/src/plugins/aorai/tests/aorai/monostate.i
+++ b/src/plugins/aorai/tests/aorai/monostate.i
@@ -1,5 +1,5 @@
/* run.config
-OPT: -aorai-automata @PTEST_DIR@/@PTEST_NAME@.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+OPT: -aorai-automata @PTEST_DIR@/@PTEST_NAME@.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
void f(void) {}
diff --git a/src/plugins/aorai/tests/aorai/not_prm.i b/src/plugins/aorai/tests/aorai/not_prm.i
index d7a42c3935b..3eb7b631a64 100644
--- a/src/plugins/aorai/tests/aorai/not_prm.i
+++ b/src/plugins/aorai/tests/aorai/not_prm.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/not_prm.ya -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test -main f -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/not_prm.ya -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test -main f -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int f(int x) {
diff --git a/src/plugins/aorai/tests/aorai/other.c b/src/plugins/aorai/tests/aorai/other.c
index 63236bb1ede..0d0eb41b0a1 100644
--- a/src/plugins/aorai/tests/aorai/other.c
+++ b/src/plugins/aorai/tests/aorai/other.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/other.ya -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/other.ya -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int x=0;
diff --git a/src/plugins/aorai/tests/aorai/seq.i b/src/plugins/aorai/tests/aorai/seq.i
index e678efde2b4..f05fcf7bbe9 100644
--- a/src/plugins/aorai/tests/aorai/seq.i
+++ b/src/plugins/aorai/tests/aorai/seq.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/seq.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/seq.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
void f() { }
diff --git a/src/plugins/aorai/tests/aorai/seq_loop.i b/src/plugins/aorai/tests/aorai/seq_loop.i
index 113c40febc1..0d85eb80cc3 100644
--- a/src/plugins/aorai/tests/aorai/seq_loop.i
+++ b/src/plugins/aorai/tests/aorai/seq_loop.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/seq_loop.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/seq_loop.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
void f() {}
diff --git a/src/plugins/aorai/tests/aorai/single_call.i b/src/plugins/aorai/tests/aorai/single_call.i
index b95c43e64ce..03124cf5c97 100644
--- a/src/plugins/aorai/tests/aorai/single_call.i
+++ b/src/plugins/aorai/tests/aorai/single_call.i
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/single_call.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/single_call.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-acceptance -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int main () {}
diff --git a/src/plugins/aorai/tests/aorai/test_acces_params.c b/src/plugins/aorai/tests/aorai/test_acces_params.c
index 4464408edf7..3961685e428 100644
--- a/src/plugins/aorai/tests/aorai/test_acces_params.c
+++ b/src/plugins/aorai/tests/aorai/test_acces_params.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/test_acces_params.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/test_acces_params.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int status=0;
diff --git a/src/plugins/aorai/tests/aorai/test_acces_params2.c b/src/plugins/aorai/tests/aorai/test_acces_params2.c
index 11264e266de..df66a09f957 100644
--- a/src/plugins/aorai/tests/aorai/test_acces_params2.c
+++ b/src/plugins/aorai/tests/aorai/test_acces_params2.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/test_acces_params2.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/test_acces_params2.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
diff --git a/src/plugins/aorai/tests/aorai/test_boucle.c b/src/plugins/aorai/tests/aorai/test_boucle.c
index 3259071fb87..5da0acccb4c 100644
--- a/src/plugins/aorai/tests/aorai/test_boucle.c
+++ b/src/plugins/aorai/tests/aorai/test_boucle.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_boucle.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_boucle.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
/*@ requires \true;
diff --git a/src/plugins/aorai/tests/aorai/test_boucle1.c b/src/plugins/aorai/tests/aorai/test_boucle1.c
index 50c3948cf36..a27cc689364 100644
--- a/src/plugins/aorai/tests/aorai/test_boucle1.c
+++ b/src/plugins/aorai/tests/aorai/test_boucle1.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_boucle1.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_boucle1.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int cpt=3;
diff --git a/src/plugins/aorai/tests/aorai/test_boucle2.c b/src/plugins/aorai/tests/aorai/test_boucle2.c
index 334a87c3525..818bf517667 100644
--- a/src/plugins/aorai/tests/aorai/test_boucle2.c
+++ b/src/plugins/aorai/tests/aorai/test_boucle2.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_boucle2.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_boucle2.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int status=0;
diff --git a/src/plugins/aorai/tests/aorai/test_boucle3.c b/src/plugins/aorai/tests/aorai/test_boucle3.c
index d69f4cabdd4..07a59e0f525 100644
--- a/src/plugins/aorai/tests/aorai/test_boucle3.c
+++ b/src/plugins/aorai/tests/aorai/test_boucle3.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_boucle3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_boucle3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
diff --git a/src/plugins/aorai/tests/aorai/test_boucle_rechercheTableau.c b/src/plugins/aorai/tests/aorai/test_boucle_rechercheTableau.c
index d7d07eb92b0..250ba9f88e3 100644
--- a/src/plugins/aorai/tests/aorai/test_boucle_rechercheTableau.c
+++ b/src/plugins/aorai/tests/aorai/test_boucle_rechercheTableau.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/test_boucle_rechercheTableau.ya -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/test_boucle_rechercheTableau.ya -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
diff --git a/src/plugins/aorai/tests/aorai/test_factorial.c b/src/plugins/aorai/tests/aorai/test_factorial.c
index 589904e8bb1..da1305fee66 100644
--- a/src/plugins/aorai/tests/aorai/test_factorial.c
+++ b/src/plugins/aorai/tests/aorai/test_factorial.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_factorial.ltl -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_factorial.ltl -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
diff --git a/src/plugins/aorai/tests/aorai/test_factorial2.c b/src/plugins/aorai/tests/aorai/test_factorial2.c
index 1a1b494eb9d..691ac292312 100644
--- a/src/plugins/aorai/tests/aorai/test_factorial2.c
+++ b/src/plugins/aorai/tests/aorai/test_factorial2.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/test_factorial.ya -aorai-test 1 -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/test_factorial.ya -aorai-test 1 -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
diff --git a/src/plugins/aorai/tests/aorai/test_recursion1.c b/src/plugins/aorai/tests/aorai/test_recursion1.c
index aa0c965730a..64d448142d1 100644
--- a/src/plugins/aorai/tests/aorai/test_recursion1.c
+++ b/src/plugins/aorai/tests/aorai/test_recursion1.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_recursion1.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_recursion1.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
diff --git a/src/plugins/aorai/tests/aorai/test_recursion2.c b/src/plugins/aorai/tests/aorai/test_recursion2.c
index 10764545a55..dcbeddd090c 100644
--- a/src/plugins/aorai/tests/aorai/test_recursion2.c
+++ b/src/plugins/aorai/tests/aorai/test_recursion2.c
@@ -1,6 +1,6 @@
/* run.config*
- OPT: -aorai-buchi tests/aorai/test_recursion2.promela -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
- OPT: -aorai-buchi tests/aorai/test_recursion3.promela -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-buchi tests/aorai/test_recursion2.promela -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-buchi tests/aorai/test_recursion3.promela -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
/* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/aorai/test_recursion4.c b/src/plugins/aorai/tests/aorai/test_recursion4.c
index 85baa11a37a..b04d4b88ab2 100644
--- a/src/plugins/aorai/tests/aorai/test_recursion4.c
+++ b/src/plugins/aorai/tests/aorai/test_recursion4.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/test_recursion4.ya -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/test_recursion4.ya -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
# pragma JessieIntegerModel(math)
diff --git a/src/plugins/aorai/tests/aorai/test_recursion5.c b/src/plugins/aorai/tests/aorai/test_recursion5.c
index 2985332729f..00dc4c63e2e 100644
--- a/src/plugins/aorai/tests/aorai/test_recursion5.c
+++ b/src/plugins/aorai/tests/aorai/test_recursion5.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/test_recursion5.ya -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/test_recursion5.ya -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
diff --git a/src/plugins/aorai/tests/aorai/test_struct.c b/src/plugins/aorai/tests/aorai/test_struct.c
index deb58d911f1..552c7cdb3ec 100644
--- a/src/plugins/aorai/tests/aorai/test_struct.c
+++ b/src/plugins/aorai/tests/aorai/test_struct.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-automata tests/aorai/test_struct.ya -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-automata tests/aorai/test_struct.ya -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
struct People{
diff --git a/src/plugins/aorai/tests/aorai/test_switch2.c b/src/plugins/aorai/tests/aorai/test_switch2.c
index d5d32950c88..39039890d9a 100644
--- a/src/plugins/aorai/tests/aorai/test_switch2.c
+++ b/src/plugins/aorai/tests/aorai/test_switch2.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_switch2.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_switch2.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
int status=0;
diff --git a/src/plugins/aorai/tests/aorai/test_switch3.c b/src/plugins/aorai/tests/aorai/test_switch3.c
index 9c2b3d52a96..dee84adec79 100644
--- a/src/plugins/aorai/tests/aorai/test_switch3.c
+++ b/src/plugins/aorai/tests/aorai/test_switch3.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_switch3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_switch3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
/* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/aorai/test_switch3_et_recursion.c b/src/plugins/aorai/tests/aorai/test_switch3_et_recursion.c
index 51ae0495113..34335482134 100644
--- a/src/plugins/aorai/tests/aorai/test_switch3_et_recursion.c
+++ b/src/plugins/aorai/tests/aorai/test_switch3_et_recursion.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_switch3_et_recursion.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_switch3_et_recursion.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
/* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/aorai/test_switch3_if.c b/src/plugins/aorai/tests/aorai/test_switch3_if.c
index 4b483877008..e9dd534a3b0 100644
--- a/src/plugins/aorai/tests/aorai/test_switch3_if.c
+++ b/src/plugins/aorai/tests/aorai/test_switch3_if.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_switch3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_switch3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
/* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/aorai/test_switch3_return.c b/src/plugins/aorai/tests/aorai/test_switch3_return.c
index 62956822a69..6c4583363a7 100644
--- a/src/plugins/aorai/tests/aorai/test_switch3_return.c
+++ b/src/plugins/aorai/tests/aorai/test_switch3_return.c
@@ -1,5 +1,5 @@
/* run.config*
- OPT: -aorai-ltl tests/aorai/test_switch3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/aorai/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
+ OPT: -aorai-ltl tests/aorai/test_switch3.ltl -aorai-test 1 -aorai-acceptance -load-module tests/Aorai_test.cmxs -aorai-test-number @PTEST_NUMBER@ @PROVE_OPTIONS@
*/
/* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
--
GitLab