Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
14 lines (7 sloc) 267 Bytes
# assert, check, test
https://en.wikipedia.org/wiki/QuickCheck
exps = %0 : %Exps
bit = Env.bit 'fact' : B
do spot:S x:B = (x | Fail.force2 spot $Fun) . Z
check1 spot,fact:S,B = (bit & Log spot; fact | Fail.force2 spot $Fun) . Z
check _ = List.do $Fact check1
You can’t perform that action at this time.