diff --git a/tests/journal/control.i b/tests/journal/control.i index 6a365c6c81a98cc996f01ef7b0a2117caf37cd7c..c18372e0716882a5fed2cab7451138cd9ac98841 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;