package qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

State-machine testing library for sequential and parallel model-based tests

Install

md5=8e7634814a61bf765ac6989f7fdc49cb

sha512=dfa53117ecbf2e466f6ecddfa91d8eb63a3156fe9e1c5a68fd0da26a4c810312581d9ace4c00c4ab1947614f7fb1d6b686003a09da418d2940ac79a7b744a8eb

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