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