From bcd79d7a3c1ae332ef4f1d1e2dfdafe64937da0d Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 6 Jul 2022 17:09:24 +0200
Subject: [PATCH] [Aorai] tests/ltl - fixes missing deps

---
 src/plugins/aorai/tests/ltl/goto.c                      | 2 +-
 src/plugins/aorai/tests/ltl/test_boucle.c               | 2 +-
 src/plugins/aorai/tests/ltl/test_boucle1.c              | 2 +-
 src/plugins/aorai/tests/ltl/test_boucle2.c              | 2 +-
 src/plugins/aorai/tests/ltl/test_boucle3.c              | 2 +-
 src/plugins/aorai/tests/ltl/test_factorial.c            | 2 +-
 src/plugins/aorai/tests/ltl/test_recursion1.c           | 2 +-
 src/plugins/aorai/tests/ltl/test_recursion2.c           | 4 ++--
 src/plugins/aorai/tests/ltl/test_switch2.c              | 2 +-
 src/plugins/aorai/tests/ltl/test_switch3.c              | 2 +-
 src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c | 2 +-
 11 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/src/plugins/aorai/tests/ltl/goto.c b/src/plugins/aorai/tests/ltl/goto.c
index abaf6d16f73..b8685eec176 100644
--- a/src/plugins/aorai/tests/ltl/goto.c
+++ b/src/plugins/aorai/tests/ltl/goto.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int status=0;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle.c b/src/plugins/aorai/tests/ltl/test_boucle.c
index 6325177b5bd..242401c8d41 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 /*@ requires \true;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle1.c b/src/plugins/aorai/tests/ltl/test_boucle1.c
index b66e6a7c829..3f24248397e 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle1.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle1.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int cpt=3;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle2.c b/src/plugins/aorai/tests/ltl/test_boucle2.c
index 257a9a19b81..a37e79e1097 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle2.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle2.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int status=0;
diff --git a/src/plugins/aorai/tests/ltl/test_boucle3.c b/src/plugins/aorai/tests/ltl/test_boucle3.c
index 1cdc2b029c0..3cd384b94a5 100644
--- a/src/plugins/aorai/tests/ltl/test_boucle3.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle3.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 
diff --git a/src/plugins/aorai/tests/ltl/test_factorial.c b/src/plugins/aorai/tests/ltl/test_factorial.c
index 313ecfbaa75..009b6db869a 100644
--- a/src/plugins/aorai/tests/ltl/test_factorial.c
+++ b/src/plugins/aorai/tests/ltl/test_factorial.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl}
 */
 
 
diff --git a/src/plugins/aorai/tests/ltl/test_recursion1.c b/src/plugins/aorai/tests/ltl/test_recursion1.c
index a3f69a89db8..bed9bf66e83 100644
--- a/src/plugins/aorai/tests/ltl/test_recursion1.c
+++ b/src/plugins/aorai/tests/ltl/test_recursion1.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 
diff --git a/src/plugins/aorai/tests/ltl/test_recursion2.c b/src/plugins/aorai/tests/ltl/test_recursion2.c
index 7effcb5bfed..a51847f8c6b 100644
--- a/src/plugins/aorai/tests/ltl/test_recursion2.c
+++ b/src/plugins/aorai/tests/ltl/test_recursion2.c
@@ -1,6 +1,6 @@
 /* run.config*
-   STDOPT: -aorai-buchi @PTEST_DIR@/@PTEST_NAME@.promela -aorai-acceptance
-   STDOPT: -aorai-buchi %{dep:@PTEST_DIR@/test_recursion3.promela} -aorai-acceptance
+   STDOPT: -aorai-buchi %{dep:@PTEST_NAME@.promela} -aorai-acceptance
+   STDOPT: -aorai-buchi %{dep:test_recursion3.promela} -aorai-acceptance
 */
 
 /* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/ltl/test_switch2.c b/src/plugins/aorai/tests/ltl/test_switch2.c
index 637be79d815..77290f3f226 100644
--- a/src/plugins/aorai/tests/ltl/test_switch2.c
+++ b/src/plugins/aorai/tests/ltl/test_switch2.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 int status=0;
diff --git a/src/plugins/aorai/tests/ltl/test_switch3.c b/src/plugins/aorai/tests/ltl/test_switch3.c
index 037f58fb2c4..090c0769545 100644
--- a/src/plugins/aorai/tests/ltl/test_switch3.c
+++ b/src/plugins/aorai/tests/ltl/test_switch3.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 /* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
diff --git a/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c b/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
index 9ef5f759998..9756ddb36ee 100644
--- a/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
+++ b/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
@@ -1,5 +1,5 @@
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 
 /* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */
-- 
GitLab