Project

General

Profile

« Previous | Next » 

Revision b06b7b77

Added by Christophe Garion over 4 years ago

[lustresf] add Program constructor in model examples + sf_sem

View differences:

src/tools/stateflow/common/datatype.ml
83 83

  
84 84
  let init_env model = ActiveStates.Env.from_set (states model) false
85 85

  
86
  let global_vars (_, _, env) = env
86
  let global_vars (Program (_, _, env)) = env
87 87

  
88 88
  (* Printers *)
89 89

  

Also available in: Unified diff