Project

General

Profile

Revision 217837e2 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
44 44
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");
45 45

  
46 46
  (* Parsing source *)
47
  let prog = parse_source source_name in
47
  let prog = parse source_name extension in
48 48
  let params = Backends.get_normalization_params () in
49
  let prog, dependencies = Compiler_stages.stage1 params prog dirname basename in
49
  let prog, dependencies = Compiler_stages.stage1 params prog dirname basename extension in
50 50

  
51 51
  (* Two cases
52 52
     - generation of coverage conditions

Also available in: Unified diff