Skip to content
Snippets Groups Projects
Commit 5fa714be authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Tests] Fixes location of generated files of a test

parent 212d909e
No related branches found
No related tags found
No related merge requests found
/* run.config /* run.config
COMMENT: do not compare generated journals since they depend on current time COMMENT: do not compare generated journals since they depend on current time
PLUGIN: @EVA_PLUGINS@ 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@ 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 control_journal.ml OPT: -load-script @PTEST_RESULT@/control_journal.ml
MODULE: MODULE:
EXECNOW: BIN control_journal_bis.ml cp control_journal.ml control_journal_bis.ml > @DEV_NULL@ 2> @DEV_NULL@ 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 control_journal_bis.ml OPT: -calldeps -load-script @PTEST_RESULT@/control_journal_bis.ml
MODULE: abstract_cpt use_cpt 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@ 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 abstract_cpt_journal.ml OPT: -load-script @PTEST_RESULT@/abstract_cpt_journal.ml
*/ */
int x,y,c,d; int x,y,c,d;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment