Project

General

Profile

« Previous | Next » 

Revision 9c654082

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

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

View differences:

src/tools/stateflow/models/model_simple.ml
3 3

  
4 4
let name = "simple"
5 5

  
6
  let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))
6
let condition x = condition {
7
  expr = Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true));
8
  cinputs = [];
9
  coutputs = [];
10
  cvariables = [];
11
}
12
  
7 13
  let action _ = no_action
8 14

  
9 15
let model : prog_t =

Also available in: Unified diff