Module triq_statem

This module defines the triq_statem behaviour.
Required callback functions: initial_state/0, command/1, precondition/2, postcondition/3, next_state/3.

Function Index

command_names/1
commands/1
commands/2
prop_statem/1Boiler-plate property for testing state machines.
run_commands/2
run_commands/3
state_after/2Evaluate command list, and return final state.
zip/2

Function Details

command_names/1

command_names(Calls) -> any()

commands/1

commands(Module) -> any()

commands/2

commands(Module, InitialState) -> any()

prop_statem/1

prop_statem(Module) -> any()

Boiler-plate property for testing state machines.

  prop_statem(Module) ->
      ?FORALL(Commands, commands(Module),
         begin
           {_,_,ok} = run_commands(Module, Commands),
           true
         end).
  

run_commands/2

run_commands(Module, Commands) -> any()

run_commands/3

run_commands(Module, Commands, Env) -> any()

state_after/2

state_after(Module, Commands) -> any()

Evaluate command list, and return final state.

Given a Module and Commands, a value picked from the domain triq_statem:commands(Module)

zip/2

zip(X, Y) -> any()


Generated by EDoc, Jul 30 2017, 11:34:16.