« Previous | Next » 

Revision a1cd7c1e

IDa1cd7c1e433c0f54e3610d6ba9e628996e828627
Parent 00c75986
Child 509809db

Added by Iustin Pop almost 13 years ago

htools: improve more unittests

Using new functionality in QuickCheck 2 (the suchThat function), we
generate now better test cases, such that (heh) we have no longer
incomplete tests.

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences