« Previous | Next » 

Revision 15f4c8ca

ID15f4c8ca1fa047af3b571303603dfab315624996

Added by Iustin Pop almost 15 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