Commit 69e9cde3 authored by Maximilien Colange's avatar Maximilien Colange

Update test compiled test to match the new interface.

parent 5de75d0f
...@@ -12,11 +12,15 @@ struct ...@@ -12,11 +12,15 @@ struct
type state = int type state = int
type ta = type ta =
{ {
clocks : Varcontext.VarContext.t;
init : state; init : state;
clocks : string array;
} }
let clocks t = t.clocks (* /!\ clocks are numbered from 1 to nb_clocks *)
let nb_clocks t = (Array.length t.clocks)
let string_of_clock t c =
assert(c >= 1 && c <= (nb_clocks t));
t.clocks.(c-1)
let initial_state t = t.init let initial_state t = t.init
...@@ -37,18 +41,18 @@ struct ...@@ -37,18 +41,18 @@ struct
let rate_of_state _ _ = 1 let rate_of_state _ _ = 1
let lubounds t s = let lubounds t s =
Array.make (Varcontext.VarContext.size t.clocks) 10, Array.make (nb_clocks t) 10,
Array.make (Varcontext.VarContext.size t.clocks) 10 Array.make (nb_clocks t) 10
let global_mbounds t = let global_mbounds t =
Array.make (Varcontext.VarContext.size t.clocks) 10 Array.make (nb_clocks t) 10
let model = let model =
let cl = Varcontext.VarContext.create () in let cl = Array.make 1 "" in
let _ = Varcontext.VarContext.add cl "c0" in (); cl.(0) <- "c0";
{ {
clocks = cl;
init = 0; init = 0;
clocks = cl;
} }
let string_of_state _ _ = "state" let string_of_state _ _ = "state"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment