QuickCheck arbitrary/co-arbitrary
15 Dec
2005
15 Dec
'05
noon
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/
15 Dec
15 Dec
7:04 p.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.
7100
Age (days ago)
7101
Last active (days ago)
1 comments
2 participants
participants (2)
-
dons＠cse.unsw.edu.au -
Joel Reymont