Skip to content

Commit

Permalink
Use print_endline for execution of main not reaching the end as well (g…
Browse files Browse the repository at this point in the history 
…oblint/gobview#10)
  • Loading branch information
@michael-schwarz
michael-schwarz committed Apr 18, 2022
1 parent 0fcbd16 commit 57c54eb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/framework/control.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -551,7 +551,7 @@ struct
(* check for dead code at the last state: *)
let main_sol = try LHT.find lh (List.hd startvars') with Not_found -> Spec.D.bot () in
if get_bool "dbg.debug" && Spec.D.is_bot main_sol then
Printf.printf "NB! Execution does not reach the end of Main.\n";
print_endline "NB! Execution does not reach the end of Main.\n";

if get_bool "dump_globs" then
print_globals gh;
Expand Down

2 comments on commit 57c54eb

@sim642
Copy link
Member

@sim642 sim642 commented on 57c54eb Apr 18, 2022

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is not very sustainable, especially because instead of crude printout this should actually be a proper warning.
We should fix the underlying issue in Gobview instead.

@michael-schwarz
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If it is a proper message it also works!

Please sign in to comment.