Jorge Aparicio 0ecfe751b5 fix quickcheck tests ... the check! macro syntax has changed		2017-03-06 12:17:41 -05:00
..
compiler-builtins	fix quickcheck tests	2017-03-06 12:17:41 -05:00