Revision ad4774b0 src/tools/stateflow/sf_sem.ml
src/tools/stateflow/sf_sem.ml | ||
---|---|---|
80 | 80 |
let auto_out = open_out auto_file in |
81 | 81 |
let auto_fmt = Format.formatter_of_out_channel auto_out in |
82 | 82 |
Format.fprintf auto_fmt "%a@." Printers.pp_prog prog; |
83 |
|
|
84 |
let prog, deps = Compiler_stages.stage1 prog "" "" in |
|
83 |
|
|
84 |
let params = Backends.get_normalization_params () in |
|
85 |
let prog, deps = Compiler_stages.stage1 params prog "" "" in |
|
85 | 86 |
|
86 | 87 |
Format.printf "%a@." Printers.pp_prog prog; |
87 | 88 |
let noauto_file = "sf_gen_test_noauto.lus" in (* Could be changed *) |
Also available in: Unified diff