Project

General

Profile

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

View differences:

src/tools/stateflow/models/model_simple.ml
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
11 11
    let state_a = "a" in
......
77 77
	       State([state_main], def_main);
78 78
	      ]
79 79
    in
80
    (state_main, src, [])
80
    Program (state_main, src, [])
81 81

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

Also available in: Unified diff