package qcheck-stm

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

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 ().

OCaml

Innovation. Community. Security.