Project

General

Profile

Revision 3769b712 src/tools/stateflow/models/model_medium.ml

View differences:

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

  
4 4
let name = "medium"
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 (Lustrec.Corelang.mkexpr Lustrec.Location.dummy_loc (LustreSpec.Expr_const (Lustrec.Corelang.const_of_bool true)))
7 7

  
8 8
let model : prog_t =
9 9
    let state_main = "main" in

Also available in: Unified diff