diff options
Diffstat (limited to 'stdlib/source/test/lux/world/time/series/average.lux')
| -rw-r--r-- | stdlib/source/test/lux/world/time/series/average.lux | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/world/time/series/average.lux b/stdlib/source/test/lux/world/time/series/average.lux index d4c6df8e7..fc5843ca6 100644 --- a/stdlib/source/test/lux/world/time/series/average.lux +++ b/stdlib/source/test/lux/world/time/series/average.lux @@ -57,7 +57,7 @@ Test (<| (_.covering /._) (do [! random.monad] - [expected_events (of ! each (|>> (n.% 10) ++) random.nat) + [expected_events (of ! each (|>> (n.% 9) (n.+ 2)) random.nat) input (series expected_events) additional (of ! each (n.% expected_events) random.nat)]) (all _.and @@ -102,13 +102,18 @@ weighted (/.moving /.weighted additional input) - .let [(open "//#[0]") (//.equivalence f.equivalence)]] - (in (and (and (well_windowed? input additional exponential) - (well_windowed? input additional simple) - (well_windowed? input additional weighted)) - (and (not (//#= exponential simple)) - (not (//#= exponential weighted)) - (not (//#= simple weighted))) - ))))) + .let [(open "//#[0]") (//.equivalence f.equivalence) + + all_are_well_windowed! + (and (well_windowed? input additional exponential) + (well_windowed? input additional simple) + (well_windowed? input additional weighted)) + + all_are_different! + (and (not (//#= exponential simple)) + (not (//#= exponential weighted)) + (not (//#= simple weighted)))]] + (in (and all_are_well_windowed! + all_are_different!))))) )) ))) |