Announcement: new QuickCheck release and demo

John Hughes
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 mailing list