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

[Tests] fixes tests/journal/control.i

parent 64b2339e
No related branches found
No related tags found
No related merge requests found
......@@ -9,7 +9,7 @@
EXECNOW: BIN control_journal_bis.ml cp %{dep:control_journal.ml} control_journal_bis.ml > /dev/null 2> /dev/null
OPT: -load-script %{dep:control_journal_bis.ml} -calldeps
EXECNOW: BIN abstract_cpt_journal.ml @frama-c-exe@ -load-module %{dep:abstract_cpt.cmxs} -load-module %{dep:use_cpt.cmxs} -journal-name abstract_cpt_journal.ml > /dev/null 2> /dev/null
EXECNOW: BIN abstract_cpt_journal.ml @frama-c-cmd@ -journal-enable -load-module %{dep:abstract_cpt.cmxs} -load-module %{dep:use_cpt.cmxs} -journal-name abstract_cpt_journal.ml > /dev/null 2> /dev/null
OPT: -load-script %{dep:abstract_cpt_journal.ml} -load-module %{dep:abstract_cpt.cmxs} -load-module %{dep:use_cpt.cmxs}
*/
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