From 6026b072a847e069b211f69b78912ced47f8e529 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 21 Feb 2020 18:11:28 +0100
Subject: [PATCH] [crowbar] reset once status of messages before analysis.
Note that in afl mode tests are played one at a time, so that it is not
extremely clear why the error could be considered as already emitted.
---
tests/crowbar/test_ghost_cfg.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/tests/crowbar/test_ghost_cfg.ml b/tests/crowbar/test_ghost_cfg.ml
index a79ec06affd..19503d111d8 100644
--- a/tests/crowbar/test_ghost_cfg.ml
+++ b/tests/crowbar/test_ghost_cfg.ml
@@ -63,6 +63,7 @@ let incr_stmt =
let prepare () =
Kernel.set_warn_status Kernel.wkey_ghost_bad_use Log.Wabort;
+ Messages.reset_once_flag ();
return.skind <- Return (None, Loc.unknown);
forward_goto_target.labels <- [Label("Unreach", Loc.unknown, false)];
let old = Project.current () in
--
GitLab