Project

General

Profile

Revision e8f55c25 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
76 76
    Options.output := "emf";
77 77
    let params = Backends.get_normalization_params () in
78 78
    let prog_mcdc = Normalization.normalize_prog params prog_mcdc in
79
    let machine_code = Compiler_stages.stage2 prog_mcdc in
79
    let prog_mcdc, machine_code = Compiler_stages.stage2 params prog_mcdc in
80 80
    let source_emf = source_file ^ ".emf" in 
81 81
    let source_out = open_out source_emf in
82 82
    let fmt = formatter_of_out_channel source_out in

Also available in: Unified diff