Project

General

Profile

Revision ad4774b0 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
45 45

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

  
50 51
  (* Two cases
51 52
     - generation of coverage conditions
......
73 74
       (2) produced as EMF
74 75
    *)
75 76
    Options.output := "emf";
76
    let prog_mcdc = Normalization.normalize_prog ~backend:"emf" prog_mcdc in
77
    let params = Backends.get_normalization_params () in
78
    let prog_mcdc = Normalization.normalize_prog params prog_mcdc in
77 79
    let machine_code = Compiler_stages.stage2 prog_mcdc in
78 80
    let source_emf = source_file ^ ".emf" in 
79 81
    let source_out = open_out source_emf in

Also available in: Unified diff