diff options
author | Eduardo Julian | 2022-07-26 20:15:22 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-26 20:15:22 -0400 |
commit | 5da753fb0a4e220ea29fb3f45c92a69358901c20 (patch) | |
tree | f8fa038e6bce4152413509ec0d00fb5df34a6c64 /stdlib/source/test/lux/test.lux | |
parent | feacd79496ae9c76492d5a12d30b78724b642654 (diff) |
Slightly cleaner application of variance for FRP channels.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/test.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index 215c9fab8..3e47848dc 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -177,10 +177,10 @@ [[not_covering _] not_covering [covering _] covering] (/.coverage' [/.covering] - (and (and (set.empty? (the /.#expected_coverage not_covering)) - (set.empty? (the /.#actual_coverage not_covering))) - (and (not (set.empty? (the /.#expected_coverage covering))) - (set.empty? (the /.#actual_coverage covering)))))))) + (and (and (set.empty? (the /.#expected not_covering)) + (set.empty? (the /.#actual not_covering))) + (and (not (set.empty? (the /.#expected covering))) + (set.empty? (the /.#actual covering)))))))) (do random.monad [not_covering (/.covering .._ (/.property "" true)) covering (/.covering .._ (/.coverage [..dummy_target] true))] @@ -188,10 +188,10 @@ [[not_covering _] not_covering [covering _] covering] (/.coverage' [/.coverage] - (and (and (not (set.empty? (the /.#expected_coverage not_covering))) - (not (set.member? (the /.#actual_coverage not_covering) (symbol ..dummy_target)))) - (and (not (set.empty? (the /.#expected_coverage covering))) - (set.member? (the /.#actual_coverage covering) (symbol ..dummy_target)))))))) + (and (and (not (set.empty? (the /.#expected not_covering))) + (not (set.member? (the /.#actual not_covering) (symbol ..dummy_target)))) + (and (not (set.empty? (the /.#expected covering))) + (set.member? (the /.#actual covering) (symbol ..dummy_target)))))))) (do random.monad [not_covering (/.covering .._ (/.property "" true)) covering (/.covering .._ (in (/.coverage' [..dummy_target] true)))] @@ -199,10 +199,10 @@ [[not_covering _] not_covering [covering _] covering] (/.coverage' [/.coverage'] - (and (and (not (set.empty? (the /.#expected_coverage not_covering))) - (not (set.member? (the /.#actual_coverage not_covering) (symbol ..dummy_target)))) - (and (not (set.empty? (the /.#expected_coverage covering))) - (set.member? (the /.#actual_coverage covering) (symbol ..dummy_target)))))))) + (and (and (not (set.empty? (the /.#expected not_covering))) + (not (set.member? (the /.#actual not_covering) (symbol ..dummy_target)))) + (and (not (set.empty? (the /.#expected covering))) + (set.member? (the /.#actual covering) (symbol ..dummy_target)))))))) (do random.monad [not_covering (/.covering .._ (/.property "" true)) covering (/.covering .._ (/.for [..dummy_target] (/.property "" true)))] @@ -210,10 +210,10 @@ [[not_covering _] not_covering [covering _] covering] (/.coverage' [/.for] - (and (and (not (set.empty? (the /.#expected_coverage not_covering))) - (not (set.member? (the /.#actual_coverage not_covering) (symbol ..dummy_target)))) - (and (not (set.empty? (the /.#expected_coverage covering))) - (set.member? (the /.#actual_coverage covering) (symbol ..dummy_target)))))))) + (and (and (not (set.empty? (the /.#expected not_covering))) + (not (set.member? (the /.#actual not_covering) (symbol ..dummy_target)))) + (and (not (set.empty? (the /.#expected covering))) + (set.member? (the /.#actual covering) (symbol ..dummy_target)))))))) )) (def .public test |