search

hibari / gmt-util

http://hibari.github.com/hibari-doc/
1 stars 1 forks source link

gmt_eqc_gen - nonempty implementation needs refactoring #2

Closed norton closed 13 years ago

norton commented 13 years ago

The implementation for nonempty attribute should be refactored to use QuickCheck's eqc_gen:non_empty(P) function.

norton commented 13 years ago

commit c356f5ad4c7c7519ea042a5d9c6905df076f09f2 Author: Joseph Wayne Norton norton@alum.mit.edu Date: Thu Feb 24 15:48:59 2011 +0900

GH2 (hibari/gmt-util): Implement using eqc_gen:non_empty(P)