[Aorai] tests/ltl - fixes missing deps

bcd79d7a · Patrick Baudin · 45f35943 · bcd79d7a · bcd79d7a · bcd79d7a
Commit bcd79d7a authored 2 years ago by Patrick Baudin
--- a/src/plugins/aorai/tests/ltl/goto.c
+++ b/src/plugins/aorai/tests/ltl/goto.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 int status=0;

--- a/src/plugins/aorai/tests/ltl/test_boucle.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 /*@ requires \true;

--- a/src/plugins/aorai/tests/ltl/test_boucle1.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle1.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 int cpt=3;

--- a/src/plugins/aorai/tests/ltl/test_boucle2.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle2.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 int status=0;

--- a/src/plugins/aorai/tests/ltl/test_boucle3.c
+++ b/src/plugins/aorai/tests/ltl/test_boucle3.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */

--- a/src/plugins/aorai/tests/ltl/test_factorial.c
+++ b/src/plugins/aorai/tests/ltl/test_factorial.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl}
 */

--- a/src/plugins/aorai/tests/ltl/test_recursion1.c
+++ b/src/plugins/aorai/tests/ltl/test_recursion1.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */

--- a/src/plugins/aorai/tests/ltl/test_recursion2.c
+++ b/src/plugins/aorai/tests/ltl/test_recursion2.c
 /* run.config*
-   STDOPT: -aorai-buchi @PTEST_DIR@/@PTEST_NAME@.promela -aorai-acceptance
+   STDOPT: -aorai-buchi %{dep:@PTEST_NAME@.promela} -aorai-acceptance
-   STDOPT: -aorai-buchi %{dep:@PTEST_DIR@/test_recursion3.promela} -aorai-acceptance
+   STDOPT: -aorai-buchi %{dep:test_recursion3.promela} -aorai-acceptance
 */
 /* Calcul de la longueur cumulee des chaines de caracteres prises en parametre */

--- a/src/plugins/aorai/tests/ltl/test_switch2.c
+++ b/src/plugins/aorai/tests/ltl/test_switch2.c
 /* run.config*
-   STDOPT: -aorai-ltl @PTEST_DIR@/@PTEST_NAME@.ltl -aorai-acceptance
+   STDOPT: -aorai-ltl %{dep:@PTEST_NAME@.ltl} -aorai-acceptance
 */
 int status=0;

--- a/src/plugins/aorai/tests/ltl/test_switch3.c
+++ b/src/plugins/aorai/tests/ltl/test_switch3.c
 /* 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 */

--- a/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
+++ b/src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
 /* 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 */