diff --git a/src/plugins/aorai/Makefile.in b/src/plugins/aorai/Makefile.in
index 7f987274ff75671e112bfbfde51b100792e74bef..0e0b5764a306b8e12d5c390bd29a14cff1c5db8f 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 843e5dd51192b344faa975e2e7cf0ffc85e39ae2..15e4e3c4b549ff88a94021b8de322abc12a24eda 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 beafc74f4712c83fe810481b67563f9f8e87f196..9cf6122636bc60413140b772f022128558bf0e00 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 6f8d33d4208e2ba86505d262a86f2b206f9612ac..53bcdfd71ad5fdf29b39d44acc444dd4a29d5c79 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 6361d59e5bc0ef9b77af180e67f1748f96cbdf78..f0171ca436a915b3405a9ede9bc6375a801945f8 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 86dbcd263267e5fc490a325b0da4252e49e982cf..6ff8527a52c3936f402df299670cf6d0a88eee17 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 abc221ef7488071f3a8d4ea04c7704639257648a..81fb7f1a5144bd6d748f6de008bee2babf8801bf 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 4bfdb268546eb2e0bc023cb84535b51af6c22f67..74c4a0c9ffc4e8b23c4adc900d401ffc3fcb6b85 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 895b16404003c6f1aeb676d86e1082dd2112ad11..39e87b49e027ae26183d5a7b785703bd6373a3ac 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 6a904675b53e3a0c81d4262ba64e7bb11dae255a..fae082d3120aa4fd80c2354bcc318c71e43a689d 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 d6d2cef2968e4060731ab38116aa5a1792a59a7e..73fd922002a79ff210b984ad3518049694d684c4 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 1eedae0ff61712b9ab23aca587a10d80f8af33b6..9dade69c092b118f482686eaa918ee2e878a692c 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 d7a42c3935bbd672a32151a4a39cb7c8033c2180..3eb7b631a64e579a377daadfbfb3151ef3352ba7 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 63236bb1ede64423cb81c5b1a96a8b1fcf7f6c2d..0d0eb41b0a17dafe3d6a52a4507f25e69b585c34 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 e678efde2b45872b949f7eaa4d71e443f06c1b74..f05fcf7bbe983c07df80721f6f11b4d9f6053b2a 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 113c40febc1e0bdfb1f84cf570c04efff1090da7..0d85eb80cc33f9cef9a75bb17bf9a5a7bc1b7425 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 b95c43e64cee80455bede3aff51c644c1ce019c9..03124cf5c9710fbcd9c0dd66c3923ae0b913683b 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 4464408edf7d0295c24c802248b7c3d5b3824f1b..3961685e4280d45ec95dac745f7d4c2c618e12ed 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 11264e266de3901a8db3668727ded49333c1c661..df66a09f957e32ac45f7adce7e21c0e23daec659 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 3259071fb87a60e71c54ef9634acab68c534e556..5da0acccb4c9bdfc9eeb611d73b3215b449dd384 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 50c3948cf362e55ed303c0a096bd297cd085de7c..a27cc68936407559d626119be9953f6555d545ef 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 334a87c35252cf8ddd51f55f020f3a16138016a7..818bf517667a0d33ff29d1fbb15f2e3cba8fa167 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 d69f4cabdd4352da405ff11255aebfa5ecef8914..07a59e0f5250efef052332f948638e2f16b1c9fd 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 d7d07eb92b0a822946aecff6764876be3e897f3a..250ba9f88e384bca7e7c6e95a15247a4cb546213 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 589904e8bb19b24ac0c3791a2f3404cd997398cd..da1305fee66feb2d339933265208e3a4a966048d 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 1a1b494eb9d94d71c414eda98fa2d161fc9772a4..691ac2923125afd84d6a0b5d7bea614694f0362c 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 aa0c965730a8a66102e5a912b1edacb418ca4e7e..64d448142d1fbe53e084ebeb23941b362337e9de 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 10764545a55a8454744052b6bc7f72522c1f4ab0..dcbeddd090c3b7a144cb2b6ad98e2f3b8b627849 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 85baa11a37a788de58fd00e34bdd5d7592eb92c9..b04d4b88ab205d284d0f2dfb964be3f83d693237 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 2985332729f939fb0f54e2d92e9f44d0f4e45c4d..00dc4c63e2ef6f0795168cd0e19bf398b24a6574 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 deb58d911f1394b2ecd45119af2499037e3e7439..552c7cdb3ec5f66b6f170a1da94111d597f0e97a 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 d5d32950c88aada63aee916f58cc830d7fee4751..39039890d9ae8ac8f6c81dc31a1959697781ad9b 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 9c2b3d52a9679cee8f001f2af4848eb6ccf82e10..dee84adec79ec7dd8c64b41b82755e12a4e6fb1a 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 51ae0495113fa8deae4e5ab62b30b7255a7a3914..343354821341fbd6584911940f28e629aa9128ae 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 4b483877008ff209fdaf56910605b44c455530fb..e9dd534a3b04c111edbeb0e9a5d8bde6d530436e 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 62956822a69c9dd34fee64206c52772b23288a7e..6c4583363a779481ec0b2ddb87c298560d82eb09 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 */