discoproject/disco — pull request #288 by kostis (2011-11-23 20:00:55+00:00)
Title: Changed tests to use PropEr

Modifications to use PropEr instead of Trifork's triq test framework.
While at it, some tests were simplified and code was cleaned up.