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"  ;
    (*Format.print_flush ()*)
  end