RickCheck -- automated testing of general assertions

“Albert Chou” achou@tealeaf.com writes:

Neat. I hope you petition John Hughes to get listed as another
entry at the bottom of Data- och informationsteknik .

Al

I know some insiders at Chalmers, so surely it will end up there
sooner or later. Threats may be necessary.

But I’ll wait a while first. It’s pretty crummy right now.

By the way, the range (223…66) in

Whoops! Why’s that? Thinking through random_from tells us that it’s
because (223…66) makes a Range of no entries! We probably want
random_from to handle backwardsy stuff, too. So we hack away!

should be (233…86), of course. Don’t ask where I pulled that range
from.

···


brought to you by Mikael `phubuh’ Brockman!
DE! MORE CODE! MORE CODE! MORE CODE! MORE CODE! MORE CODE! MORE CO

P.S. sorry for sending you this twice, Al. I can’t handle my own mail
reader! hits self