tests: Fix some comments

1 files 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
 }