Announcement: new QuickCheck release and demo
Tue Nov 17 13:03:49 CET 2009
Quviq is happy to announce a new QuickCheck release, which supports race
condition testing with a randomising scheduler, generation of test data from
yecc grammars, and a new mechanism for testing C code from Erlang. A fifteen
minute video demo, showing QuickCheck testing a circular buffer
implementation in C, has been posted on Quviq's web site--see under "Demos"
More information about the erlang-questions