Re: [Haskell] ANN: SmallCheck 0.1

2006-09-14 Thread Colin Runciman
Don, Let's run QuickCheck (check) head to head with SmallCheck (scheck): ... lambdabot scheck \s - not (null s) == minimum (s :: [Int]) == (last . sort) s Failed test no. 10. Test values follow.: [-1,-1,-1,-1,-1,-1,-1,0] lambdabot check \s - not (null s) == minimum (s :: [Int])

[Haskell] ANN: SmallCheck 0.1

2006-09-13 Thread Colin Runciman
SmallCheck: another lightweight testing library in Haskell. Folk-law: if there is any case in which a program fails, there is almost always a simple one. SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of a sample of randomly generated values, SmallCheck tests

Re: [Haskell] ANN: SmallCheck 0.1

2006-09-13 Thread Donald Bruce Stewart
colin: SmallCheck: another lightweight testing library in Haskell. Folk-law: if there is any case in which a program fails, there is almost always a simple one. SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but instead of a sample of randomly generated values, SmallCheck