Project

General

Profile

« Previous | Next » 

Revision 782742b6

Added by Pierre-Loïc Garoche about 5 years ago

Merged unstable with seahorn

View differences:

src/main_lustre_testgen.ml
81 81 
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. normalization@,");
82 82 
  (* Special treatment of arrows in lustre backend. We want to keep them *)
83 83 
  if !Options.output = "lustre" then
84 
    Normalization.unfold_arrow_active := false;
84 
    Normalization_common.unfold_arrow_active := false;
85 85 
  let prog = Normalization.normalize_prog prog in
86 86 
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);
87 87 

  		












Also available in:  Unified diff