Project

General

Profile

Revision b06b7b77 src/tools/stateflow/models/model_medium.ml

View differences:

src/tools/stateflow/models/model_medium.ml
4 4
let name = "medium"
5 5

  
6 6
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))
7
 
7

  
8 8
let model : prog_t =
9 9
    let state_main = "main" in
10 10
    let state_a = "a" in
......
85 85
	       Junction("jmid", [tB]);
86 86
	      ]
87 87
    in
88
    (state_main, src, [])
88
    Program (state_main, src, [])
89 89

  
90 90
let traces : trace_t list = [[None; None]]

Also available in: Unified diff