package qcheck-stm
State-machine testing library for sequential and parallel model-based tests
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.9.tar.gz
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8
doc/qcheck-stm.stm/STM/index.html
Module STM
Source
Module with combinators and definitions to specify an STM test
Extensible type to represent result values
Source
type ty +=
| Unit : unit ty
| Bool : bool ty
| Char : char ty
| Int : int ty
| Int32 : int32 ty
| Int64 : int64 ty
| Float : float ty
| String : string ty
| Bytes : bytes ty
| Exn : exn ty
| Option : 'a ty -> 'a option ty
| Result : 'a ty * 'b ty -> ('a, 'b) result ty
| List : 'a ty -> 'a list ty
| Array : 'a ty -> 'a array ty
| Seq : 'a ty -> 'a Seq.t ty
A range of constructors to represent built-in types
Combinator type to represent an OCaml type along with an associated to_string
function
result a b
builds an (a,b)
result
type representation
Default implementations for state machine specifications that can be given useful defaults.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>