[erlang-questions] QuickCheck/PropEr

Scott Lystig Fritchie <>
Tue May 24 00:34:06 CEST 2011

Edmond Begumisa <> wrote:

eb> . and from "Testing Stateful Code" in PropEr's README. But I can't
eb> figure out how to actually write the properties with symbolic reps
eb> for the callbacks. Can anyone offer me an example on how to do this?

Keeping in mind that these tests were written with full QuickCheck(*),
here are some stateful examples, using either eqc_statem or eqc_fsm:

    (Also uses eqc_c for testing C code (very fun!), namely a red-black tree)
    (Not using eqc_statem or eqc_fsm, but used for testing a gen_fsm module)


(*) Technically it's just "QuickCheck"?  Hm, I like the sound of
"QuickCheck Jumbo"

More information about the erlang-questions mailing list