diff options
Diffstat (limited to 'stdlib/source/test/lux/math/number/rev.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/rev.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index 724d0112a..80b5b4a5a 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -94,9 +94,9 @@ (and (/.< left (/.* left right)) (/.< right (/.* left right))))) (do [! random.monad] - [.let [dividend (at ! each (i64.and (hex "FFFF")) + [.let [dividend (of ! each (i64.and (hex "FFFF")) random.rev) - divisor (at ! each (|>> (i64.and (hex "F")) + divisor (of ! each (|>> (i64.and (hex "F")) (i64.or (hex "1")) (i64.right_rotated 8) .rev) @@ -105,14 +105,14 @@ divisor/0 divisor divisor/1 (random.only (|>> (/.= divisor/0) not) divisor) - scale (at ! each (|>> (n.% 10) ++) + scale (of ! each (|>> (n.% 10) ++) random.nat)] (all _.and (_.coverage [/./] (bit#= (/.< divisor/0 divisor/1) (/.> (/./ divisor/0 dividend) (/./ divisor/1 dividend)))) (_.coverage [/.%] - (at i64.equivalence = + (of i64.equivalence = (.i64 (n.% (.nat divisor/0) (.nat dividend))) (.i64 (/.% divisor/0 dividend)))) (_.coverage [/.up /.down] @@ -161,7 +161,7 @@ (/.= (/.reciprocal sample) (|> sample /.reciprocal .nat /.reciprocal .nat /.reciprocal)))) (do [! random.monad] - [expected (at ! each (|>> f.abs (f.% +1.0)) + [expected (of ! each (|>> f.abs (f.% +1.0)) random.safe_frac) sample random.rev] (_.coverage [/.frac] |