erochest/ribot — Issue #6: Center Message type, with QC properties
Author: erochest
Created: 2011-12-11 02:47:06+00:00
State: open
Labels: task

The Message type is the primary abstract model of the program. Write appropriate QuickCheck properties for it and refactor Ribot as a processor of Messages.