« Previous | Next » 

Revision 41085bd3

ID41085bd32cf8c1a7e1e782c80b34d37c2b1f8fb4
Parent 8e4f6d56
Child 00c75986

Added by Iustin Pop almost 13 years ago

htools: Rework some unittests

The new scaffolding which replaced the batch driver of QuickCheck 1 now
shows how many passes we have for incomplete tests. Some tests show very
low pass counts, so we rework them to have more actually valid test
cases.

Signed-off-by: Iustin Pop <>
Reviewed-by: Michael Hanselmann <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences