Wed May 25 05:25:26 CEST 2011
Thanks a bunch Scott.
This looks like a good case-study. I will analyse it fully. Quick one: are
there any properties on gen_servers in here?
- Edmond -
On Tue, 24 May 2011 08:34:06 +1000, Scott Lystig Fritchie
> 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
> (Not using eqc_statem or eqc_fsm, but used for testing a gen_fsm
> (*) Technically it's just "QuickCheck"? Hm, I like the sound of
> "QuickCheck Jumbo"
Using Opera's revolutionary e-mail client: http://www.opera.com/mail/
More information about the erlang-questions