package qcheck-stm

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Internal helper module to build STM tests.

module Make (Spec : Spec) : sig ... end

Derives a test framework from a state machine specification.

OCaml

Innovation. Community. Security.