QuickCheck arbitrary/co-arbitrary
16 Dec
2005
16 Dec
'05
1 a.m.
Folks, I'm collecting examples of QuickCheck arbitrary/co-arbitrary definitions, the more complex the better. Please point me to any or send them if you are willing to! Also, is there a cood explanation of co-arbitrary someplace? Thanks, Joel -- http://wagerlabs.com/
16 Dec
16 Dec
8:04 a.m.
joelr1:
Folks,
I'm collecting examples of QuickCheck arbitrary/co-arbitrary definitions, the more complex the better. Please point me to any or send them if you are willing to!
Also, is there a cood explanation of co-arbitrary someplace?
Check the QuickCheck paper for the definition and motiviation of coarbitrary.
7518
Age (days ago)
7519
Last active (days ago)
1 comments
2 participants
participants (2)
-
dons＠cse.unsw.edu.au -
Joel Reymont