Project

General

Profile

Revision 9c654082 src/tools/stateflow/models/model_simple.ml

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