diff options
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 |