Skip to content
Snippets Groups Projects
Commit 6026b072 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[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.
parent cc24c728
No related branches found
No related tags found
No related merge requests found
...@@ -63,6 +63,7 @@ let incr_stmt = ...@@ -63,6 +63,7 @@ let incr_stmt =
let prepare () = let prepare () =
Kernel.set_warn_status Kernel.wkey_ghost_bad_use Log.Wabort; Kernel.set_warn_status Kernel.wkey_ghost_bad_use Log.Wabort;
Messages.reset_once_flag ();
return.skind <- Return (None, Loc.unknown); return.skind <- Return (None, Loc.unknown);
forward_goto_target.labels <- [Label("Unreach", Loc.unknown, false)]; forward_goto_target.labels <- [Label("Unreach", Loc.unknown, false)];
let old = Project.current () in let old = Project.current () in
......
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