 Wilfried Chauveau
|
d96102d270
implement float/double to (u)int conversion.
|
vor 8 Jahren |
 Jorge Aparicio
|
47b45d1d62
adjust the check! macro to accept AAPCS intrinsics
|
vor 8 Jahren |
 est31
|
b78e956f08
Add quickcheck tests
|
vor 8 Jahren |
 Matt Ickstadt
|
77ca63c511
Use correct lib name in qc test failure
|
vor 8 Jahren |
|
Matt Ickstadt
|
655f642d3f
Add float quickcheck
|
vor 9 Jahren |
|
Matt Ickstadt
|
02140cddc9
Initial implementation of multitester
|
vor 9 Jahren |
|
Jorge Aparicio
|
3b8dedd416
Revert "Merge pull request #48 from mattico/add_float_quickcheck"
|
vor 9 Jahren |
|
Matt Ickstadt
|
010d153966
Add Quickcheck types for float tests
|
vor 9 Jahren |
 Alex Crichton
|
8e161a791a
Expand and refactor teting infrastructure
|
vor 9 Jahren |
|
Jorge Aparicio
|
c427112561
Merge pull request #49 from japaric/edge
|
vor 9 Jahren |
|
Jorge Aparicio
|
fc0cdeb7f1
qc: bias towards generation of edge cases
|
vor 9 Jahren |
|
Matt Ickstadt
|
6f0d50ebea
Move integer functions to separate module
|
vor 9 Jahren |
|
Jorge Aparicio
|
69376af183
quickcheck: better generation of input arguments
|
vor 9 Jahren |
