package qcheck-lin

You can search for identifiers within the package.

in-package search v0.2.0

A multicore testing library for OCaml

Install

md5=8e7634814a61bf765ac6989f7fdc49cb

sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb

type t

The type of the system under test

val init : unit -> t

The function to initialize the system under test

val cleanup : t -> unit

The function to cleanup the system under test

val api : (int * t Lin.elem) list

A description of the function signatures