package qcstm

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type cmd
type state
type sut
val arb_cmd : state -> cmd QCheck.arbitrary
val init_state : state
val next_state : cmd -> state -> state
val init_sut : unit -> sut
val cleanup : sut -> unit
val run_cmd : cmd -> state -> sut -> bool
val precond : cmd -> state -> bool
OCaml

Innovation. Community. Security.