summaryrefslogtreecommitdiff
path: root/lib/tools/test/cover_SUITE_data/otp_16476/obvious_booleans.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/tools/test/cover_SUITE_data/otp_16476/obvious_booleans.erl')
-rw-r--r--lib/tools/test/cover_SUITE_data/otp_16476/obvious_booleans.erl17
1 files changed, 17 insertions, 0 deletions
diff --git a/lib/tools/test/cover_SUITE_data/otp_16476/obvious_booleans.erl b/lib/tools/test/cover_SUITE_data/otp_16476/obvious_booleans.erl
new file mode 100644
index 0000000000..1f383be0a5
--- /dev/null
+++ b/lib/tools/test/cover_SUITE_data/otp_16476/obvious_booleans.erl
@@ -0,0 +1,17 @@
+-module(obvious_booleans).
+-export([?MODULE/0]).
+-compile([warnings_as_errors]).
+
+?MODULE() ->
+ true = both_ok(ok, ok),
+ false = both_ok(ok, nok),
+ true = one_ok(ok, nok),
+ true = one_ok(nok, ok),
+ false = one_ok(nok, nok),
+ ok.
+
+both_ok(A, B) ->
+ A =:= ok andalso B =:= ok.
+
+one_ok(A, B) ->
+ A =:= ok orelse B =:= ok.