Project

General

Profile

Revision ad4774b0 src/tools/stateflow/sf_sem.ml

View differences:

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