Permalink
Fetching contributors…
Cannot retrieve contributors at this time
183 lines (87 sloc) 5.39 KB

Module qc

Function Index

eunit_module/1

Wrap module as an EUnit test fixture

.
eunit_module/2
eunit_module/3
eunit_module/4
module/2

PropER has a different API than EQC

.
module/2

Triq has a different API than EQC

.
module/2

Same API as EQC

.
module/2

Same API as EQC

.
silent/1

Disable QuickCheck's test output (i.e. the "dots")

.
silent/1
start/0

PropER doesn't have a server. Always return true.

.
start/0

Triq doesn't have a server. Always return true.

.
start/0

Starts (and possibly restarts) the QuickCheck server. If another instance is not running, start the server and return the server's process id. If another instance is already running, return true. Otherwise, forcefully restart the server.

.
write_counterexample/3
write_counterexample/4
write_counterexamples/1

Write failing counterexamples for specified Module

.
write_counterexamples/2
write_counterexamples/3
write_counterexamples/3
write_counterexamples/3
write_counterexamples/3

Function Details

eunit_module/1

eunit_module(Module) -> any()

Wrap module as an EUnit test fixture

eunit_module/2

eunit_module(Module, NumTests) -> any()

eunit_module/3

eunit_module(Module, NumTests, Timeout) -> any()

eunit_module/4

eunit_module(Module, NumTests, Timeout, Teardown) -> any()

module/2

module(Options, Module) -> any()

PropER has a different API than EQC

module/2

module(Options, Module) -> any()

Triq has a different API than EQC

module/2

module(Options, Module) -> any()

Same API as EQC

module/2

module(Options, Module) -> any()

Same API as EQC

silent/1

silent(Prop) -> any()

Disable QuickCheck's test output (i.e. the "dots")

silent/1

silent(Prop) -> any()

start/0

start() -> any()

PropER doesn't have a server. Always return true.

start/0

start() -> any()

Triq doesn't have a server. Always return true.

start/0

start() -> any()

Starts (and possibly restarts) the QuickCheck server. If another instance is not running, start the server and return the server's process id. If another instance is already running, return true. Otherwise, forcefully restart the server.

write_counterexample/3

write_counterexample(Module, Prop, CounterExample) -> any()

write_counterexample/4

write_counterexample(Module, Prop, CounterExample, X4) -> any()

write_counterexamples/1

write_counterexamples(Module) -> any()

Write failing counterexamples for specified Module

write_counterexamples/2

write_counterexamples(Module, CounterExamples) -> any()

write_counterexamples/3

write_counterexamples(Module, CounterExamples, LocalTime) -> any()

write_counterexamples/3

write_counterexamples(Module, CounterExamples, LocalTime) -> any()

write_counterexamples/3

write_counterexamples(Module, CounterExamples, LocalTime) -> any()

write_counterexamples/3

write_counterexamples(Module, CounterExamples, LocalTime) -> any()