ubf/doc/qc_ubf_impl.md

Abstract module qc_ubf_impl [MOD, CONTRACTS]

• Function Index
• Function Details

Behaviours: qc_statem.

Function Index

aggregate/1
command_gen/1
command_gen/2
command_typegen/4
initial_state/1
next_state/3
postcondition/3
precondition/2
qc_prop/1
qc_run/2
qc_sample/1
rpc/3
scenario_gen/0
setup/0
setup/1
state_is_sane/1
teardown/2

Function Details

aggregate/1

aggregate(L) -> any()

command_gen/1

command_gen(S) -> any()

command_gen/2

command_gen(S, IO) -> any()

command_typegen/4

command_typegen(S, Contract, TypeName, TypeStack) -> any()

initial_state/1

initial_state(Scenario) -> any()

next_state/3

next_state(S, R, C) -> any()

postcondition/3

postcondition(S, C, R) -> any()

precondition/2

precondition(S, C) -> any()

qc_prop/1

qc_prop(Options) -> any()

qc_run/2

qc_run(NumTests, Options) -> any()

qc_sample/1

qc_sample(Options) -> any()

rpc/3

rpc(Contract, TypeName, Type) -> any()

scenario_gen/0

scenario_gen() -> any()

setup/0

setup() -> any()

setup/1

setup(Scenario) -> any()

state_is_sane/1

state_is_sane(S) -> any()

teardown/2

teardown(Ref, State) -> any()