Project

General

Profile

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

View differences:

src/tools/stateflow/models/model_stopwatch.ml
3 3
open SF
4 4

  
5 5
let verbose = false
6
let actionv x = if verbose then action x else no_action
6
let actionv x = no_action (*TODO if verbose then action x else no_action*)
7
let action x = no_action (* TODO *)
7 8
let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))
8 9
    
9 10
let name = "stopwatch"

Also available in: Unified diff