On Jul 5, 2006, at 3:07 PM, Niklas Broberg wrote: > > Lava: http://www.cs.chalmers.se/~koen/Lava/ Excellent example, thank you Niklas! Are you using QuickCheck for verification? Thanks, Joel -- http://wagerlabs.com/