From 58d174da600b5c5df6fa1558bf1b45ea46c33b23 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 19 Nov 2020 10:31:52 +0100
Subject: [PATCH] [Tests] fixes tests/journal/control.i
---
tests/journal/control.i | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tests/journal/control.i b/tests/journal/control.i
index 163ce272e5a..4ffee833eda 100644
--- a/tests/journal/control.i
+++ b/tests/journal/control.i
@@ -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;
--
GitLab