let display_status () =
if !verbose then begin
Ltl_to_acsl_option.feedback "\n" ;
Ltl_to_acsl_option.feedback "C file: '%s'\n" !c_file ;
Ltl_to_acsl_option.feedback "Entry point: '%s'\n" !root ;
Ltl_to_acsl_option.feedback "LTL property: '%s'\n" !ltl_file ;
Ltl_to_acsl_option.feedback "Files to generate: '%s' (Annotated code)\n"
(if (!generatesCFile) then !output_c_file else "(none)");
if (Ltl_to_acsl_option.Dot.get()) then
Ltl_to_acsl_option.feedback "Dot file: '%s'\n" !dot_file;
Ltl_to_acsl_option.feedback "Tmp files: '%s' (Light LTL file)\n" !ltl_tmp_file ;
Ltl_to_acsl_option.feedback " '%s' (Promela file)\n" !promela_file ;
Ltl_to_acsl_option.feedback "\n" ;
end