CristalCaveGem » LustreC

  let init_env model = ActiveStates.Env.from_set (states model) false

  (* Printers *)

let name = "medium"

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

let model : prog_t =

    let state_main = "main" in

    let state_a = "a" in

	       Junction("jmid", [tB]);

	      ]

    in

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

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

  let action _ = no_action

let model : prog_t =

    let state_main = "main" in

    let state_a = "a" in

	       State([state_main], def_main);

	      ]

    in

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

let actionv x = no_action (*TODO if verbose then action x else no_action*)

let action x = no_action (* TODO *)

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

let name = "stopwatch"

  let smain    = "main" in

  let sstop    = "stop" in

  let sreset   = "reset" in

    dest = DPath [smain;srun;srunning];

  }

  in

  let tlapstop_lap  = {

    event = event "LAP";

    condition = no_condition;

       "cont"

      ]

  in

let traces : trace_t list =

  [