summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2019-09-19 19:58:01 -0400
committerTavian Barnes <tavianator@tavianator.com>2019-09-19 19:58:01 -0400
commita7f72ec05af19394a38dd5a4c16c71c5ee622209 (patch)
tree6000cede0f41ba657e171f6e6e6694e431d87da9
parent00c9d93a591db9179b4c5dacc289a2e11643e5ef (diff)
downloadbfs-a7f72ec05af19394a38dd5a4c16c71c5ee622209.tar.xz
tests: Fix some comments
-rwxr-xr-xtests.sh6
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
}