Project

General

Profile

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

View differences:

src/tools/stateflow/models/model_stopwatch.ml
6 6
let actionv x = no_action (*TODO if verbose then action x else no_action*)
7 7
let action x = no_action (* TODO *)
8 8
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))
9
    
9

  
10 10
let name = "stopwatch"
11
  
12
let model = 
11

  
12
let model =
13 13
  let smain    = "main" in
14 14
  let sstop    = "stop" in
15 15
  let sreset   = "reset" in
......
53 53
    dest = DPath [smain;srun;srunning];
54 54
  }
55 55
  in
56
  
56

  
57 57
  let tlapstop_lap  = {
58 58
    event = event "LAP";
59 59
    condition = no_condition;
......
259 259
       "cont"
260 260
      ]
261 261
  in
262
  (smain, src, globals)
262
  Program (smain, src, globals)
263 263

  
264 264
let traces : trace_t list =
265 265
  [

Also available in: Unified diff