4 Commits (c56a3f8a6ed678e86f8c4aa79571b919bb99d20a)

Author	SHA1	Message	Date
Jorge Aparicio	c427112561	Merge pull request #49 from japaric/edge ... qc: bias towards generation of edge cases	2016-08-21 11:03:44 -05:00
Jorge Aparicio	fc0cdeb7f1	qc: bias towards generation of edge cases	2016-08-20 22:17:50 -05:00
Matt Ickstadt	6f0d50ebea	Move integer functions to separate module	2016-08-20 15:55:06 -05:00
Jorge Aparicio	69376af183	quickcheck: better generation of input arguments ... closes #31	2016-08-13 16:58:44 -05:00