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