Revision 9c654082
Added by Pierre-Loïc Garoche over 5 years ago
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
[lustresf] work in progress. Added global env with initial values