Commit a1573328 authored by Simon Prucker's avatar Simon Prucker
Browse files

Modcheck builds

parent edff71ee
Pipeline #15137 waiting for manual action with stages
in 28 seconds
......@@ -3,7 +3,7 @@
include Model
open Output
open Errors
(** fe type is hashconsed, so pointer equality is equivalent to structural
(* fe type is hashconsed, so pointer equality is equivalent to structural
equality *)
let equal x y = x.HC.tag = y.HC.tag
let compare x y = compare x.HC.tag y.HC.tag
......
open Cool
(*open Cool
open CoolUtils
open QCheck.Gen
......@@ -11,7 +11,7 @@ let k_model nstates =
let states_powerset = CoolUtils.powerset states in
let model = Hashtbl.create nstates in
List.iter (Hashtbl.add model )
*)
open Cool
open CoolUtils
(*open CoolUtils*)
open Output
module Make(M : ModelCheck.ModelHandling) = struct
......@@ -60,7 +60,7 @@ module Make(M : ModelCheck.ModelHandling) = struct
create_model nstates
(fun x y ->
if (Random.float 1.0) <= psucc then
let na = int_of_float (raction *. (float_of_int nactions)) in
let _na = int_of_float (raction *. (float_of_int nactions)) in
let actions =
if pgame then [ (action 1) ] else
rand_lst (Random.int nactions) nactions action in
......
Supports Markdown
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