Project

General

Profile

« Previous | Next » 

Revision 9c654082

Added by Pierre-Loïc Garoche over 6 years ago

[lustresf] work in progress. Added global env with initial values

View differences:

src/tools/stateflow/sf_sem.ml
63 63 
  | GenLus ->
64 64 
     let module Model = (val model) in
65 65 
     let state_vars = Datatype.SF.states Model.model in
66 
     let global_vars = Datatype.SF.global_vars Model.model in
66 
     let global_vars =
67 
       List.map (fun (v,e) -> {Basetypes.GlobalVarDef.variable = v; init_val = e;})
68 
	 (Datatype.SF.global_vars Model.model) in
67 69
68 70 
     let module T = CPS_lustre_generator.LustrePrinter (struct
69 71 
       let state_vars = state_vars

Also available in: Unified diff