From a7f72ec05af19394a38dd5a4c16c71c5ee622209 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Thu, 19 Sep 2019 19:58:01 -0400 Subject: tests: Fix some comments --- tests.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests.sh b/tests.sh index 0edf42f..e42a248 100755 --- a/tests.sh +++ b/tests.sh @@ -2202,17 +2202,17 @@ function test_de_morgan_or() { function test_and_false_or_true() { # Test (-a lhs(always_true) -false) <==> (! lhs), - # (-a lhs(always_false) -true) <==> (! lhs) + # (-o lhs(always_false) -true) <==> (! lhs) bfs_diff basic -prune -false -o -true } function test_comma_redundant_true() { - # Test (, lhs(always_true) -true) <==> lhs, + # Test (, lhs(always_true) -true) <==> lhs bfs_diff basic -prune , -true } function test_comma_redundant_false() { - # Test (, lhs(always_false) -false) <==> lhs, + # Test (, lhs(always_false) -false) <==> lhs bfs_diff basic -print -not -prune , -false } -- cgit v1.2.3