diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/math/number/i64.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index 75324e869..c389f5119 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -18,7 +18,7 @@ ["n" nat] ["i" int]]]]) -(def: bit +(def bit Test (do [! random.monad] [pattern random.nat @@ -42,7 +42,7 @@ (/#= /.false (/.and (/.bit idx) pattern)))) ))) -(def: shift +(def shift Test (do [! random.monad] [pattern random.nat] @@ -69,7 +69,7 @@ movement!)))) ))) -(def: mask +(def mask Test (<| (_.for [/.Mask]) (do [! random.monad] @@ -118,7 +118,7 @@ (/.and (/.region offset size) pattern))))) )))) -(def: sub +(def sub Test (_.for [/.Sub] (do [! random.monad] @@ -146,7 +146,7 @@ (/#= expected actual))) )))))) -(def: signature +(def signature Test (all _.and (_.for [/.equivalence] @@ -159,7 +159,7 @@ ($monoid.spec n.equivalence /.conjunction random.nat)) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [.I64]) |