« Previous | Next » 

Revision 15f4c8ca

ID15f4c8ca1fa047af3b571303603dfab315624996
Parent 71e13e48
Child 9cf4267a

Added by Iustin Pop almost 13 years ago

Add test infrastructure and initial tests

This patch adds a QuickCheck-based test infrastructure and initial tests
based on it. The PeerMap module has a 100% coverage ☺

Side-note: one has to read the source of QuickCheck to see how to use it
(especially the Batch submodule), the docs are not enough…

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences