Revision 69c96b6c
Added by Pierre-Loïc Garoche about 6 years ago
| src/tools/stateflow/models/model_simple.ml | ||
|---|---|---|
| 4 | 4 |
let name = "simple" |
| 5 | 5 |
|
| 6 | 6 |
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true))) |
| 7 |
|
|
| 7 |
let action _ = no_action |
|
| 8 | 8 |
|
| 9 | 9 |
let model : prog_t = |
| 10 | 10 |
let state_main = "main" in |
Also available in: Unified diff
lustresf: Better construction of lustre ast. Still more work to be done.