Module Hedgehog.StmSource

Abstract state machine testing.

Generates random command sequences, executes them against a system under test while checking postconditions against a model, and shrinks failures. Parallel testing detects concurrency bugs via linearizability checking.

Inspired by Erlang QuickCheck and qcheck-stm.

Sourcemodule type Spec = sig ... end

User-provided specification of the system under test.

Sourcemodule Make (S : Spec) : sig ... end

Build a state machine test suite from a specification.