Project

General

Profile

Revision 69c96b6c src/tools/stateflow/models/model_simple.ml

View differences:

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