]> gitweb.michael.orlitzky.com - hath.git/commit
Added the prop_contains_proper_intransitive QuickCheck property, and fixed the defini...
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 14 May 2010 05:59:06 +0000 (01:59 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 14 May 2010 05:59:06 +0000 (01:59 -0400)
commita23ed449c784cdf81501c696bec10b1fbaeefc5f
tree0fbd4553930bcb0f9938a40db50a370bbe10a5a1
parent1ba6b199192c6b5bddb486446ebfeff88a6309b9
Added the prop_contains_proper_intransitive QuickCheck property, and fixed the definition of contains_proper when it found a bug.
src/Cidr.hs
test/TestSuite.hs