Module triq_statem

Function Index
Function Details

Function Index

command_names/1
commands/1
commands/2
prop_statem/1	Boiler-plate property for testing state machines.
run_commands/2
run_commands/3
state_after/2	Evaluate 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