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