From 5fa714bec0d9cb1289ae3eaf4cad81635d72f676 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 7 Oct 2021 10:59:02 +0200 Subject: [PATCH] [Tests] Fixes location of generated files of a test --- tests/journal/control.i | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/journal/control.i b/tests/journal/control.i index 6a365c6c81a..c18372e0716 100644 --- a/tests/journal/control.i +++ b/tests/journal/control.i @@ -1,14 +1,14 @@ /* run.config COMMENT: do not compare generated journals since they depend on current time PLUGIN: @EVA_PLUGINS@ - EXECNOW: BIN control_journal.ml @frama-c@ @PTEST_FILE@ -journal-enable -eva -deps -out @EVA_OPTIONS@ -main f -journal-name control_journal.ml > @DEV_NULL@ 2> @DEV_NULL@ - OPT: -load-script control_journal.ml + EXECNOW: BIN control_journal.ml @frama-c@ @PTEST_FILE@ -journal-enable -eva -deps -out @EVA_OPTIONS@ -main f -journal-name @PTEST_RESULT@/control_journal.ml > @DEV_NULL@ 2> @DEV_NULL@ + OPT: -load-script @PTEST_RESULT@/control_journal.ml MODULE: - EXECNOW: BIN control_journal_bis.ml cp control_journal.ml control_journal_bis.ml > @DEV_NULL@ 2> @DEV_NULL@ - OPT: -calldeps -load-script control_journal_bis.ml + EXECNOW: BIN control_journal_bis.ml cp @PTEST_RESULT@/control_journal.ml @PTEST_RESULT@/control_journal_bis.ml > @DEV_NULL@ 2> @DEV_NULL@ + OPT: -calldeps -load-script @PTEST_RESULT@/control_journal_bis.ml MODULE: abstract_cpt use_cpt - EXECNOW: BIN abstract_cpt_journal.ml @frama-c@ -journal-enable -journal-name abstract_cpt_journal.ml > @DEV_NULL@ 2> @DEV_NULL@ - OPT: -load-script abstract_cpt_journal.ml + EXECNOW: BIN abstract_cpt_journal.ml @frama-c@ -journal-enable -journal-name @PTEST_RESULT@/abstract_cpt_journal.ml > @DEV_NULL@ 2> @DEV_NULL@ + OPT: -load-script @PTEST_RESULT@/abstract_cpt_journal.ml */ int x,y,c,d; -- GitLab