Announcement: new QuickCheck release and demo

[John Hughes]

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" 
at quviq.com.