Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

130 lines (55 sloc) 2.404 kB

Module qc_statem_impl

Data Types

impl()


impl() = #'?MODULE'{}

proplist()


proplist() = [atom() | {atom(), term()}]

Function Index

command/2
new/1
next_state/4
postcondition/4
precondition/3
qc_prop/2
qc_run/3
qc_sample/2

Function Details

command/2

command(S, ?MODULE) -> any()

new/1


new(Mod::module()) -> impl()



next_state/4

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

postcondition/4

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

precondition/3

precondition(S, C, ?MODULE) -> any()

qc_prop/2


qc_prop(Options::proplist(), ?MODULE::impl()) -> any()



qc_run/3


qc_run(NumTests::non_neg_integer(), Options::[{name, string()} | cover | {cover, [module()]} | parallel | noshrink | {sometimes, pos_integer()} | {timeout, timeout()} | any()], ?MODULE::impl()) -> boolean()



qc_sample/2


qc_sample(Options::proplist(), ?MODULE::impl()) -> any()



Jump to Line
Something went wrong with that request. Please try again.