package qcheck-stm

  1. Overview
  2. Docs
State-machine testing library for sequential and parallel model-based tests

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

  1. J
    Jan Midtgaard
  2. O
    Olivier Nicole
  3. N
    Nicolas Osborne
  4. S
    Samuel Hym

Maintainers

  1. J
    Jan Midtgaard <mail@janmidtgaard.dk>

Sources

0.9.tar.gz
md5=ce75e64a125c5593d8e3c91752406067
sha512=cbac110fcf490a4c71229937936eb705699489d666c55938df6ce2e31d224494a92d8dc36946e24a506f1962c23d9ac10bf1c0c2685b237e111241ee0a9049b8

doc/qcheck-stm.stm/STM/SpecDefaults/index.html

Module STM.SpecDefaultsSource

Default implementations for state machine specifications that can be given useful defaults.

The intention is that extended spec modules would include the defaults:

  module MySpec = struct
    include SpecDefaults

    (* ... *)
  end

This way the spec module can usually just continue working after new specifications have been added to SpecExt with defaults in SpecDefaults.

Sourceval cleanup : 'sut -> unit

cleanup sut just returns ().

Sourceval precond : 'cmd -> 'state -> bool

precond cmd state just returns true.

Sourceval wrap_cmd_seq : (unit -> 'a) -> 'a

wrap_cmd_seq thunk is equivalent to thunk ().