diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2019-09-19 19:58:01 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2019-09-19 19:58:01 -0400 |
commit | a7f72ec05af19394a38dd5a4c16c71c5ee622209 (patch) | |
tree | 6000cede0f41ba657e171f6e6e6694e431d87da9 | |
parent | 00c9d93a591db9179b4c5dacc289a2e11643e5ef (diff) | |
download | bfs-a7f72ec05af19394a38dd5a4c16c71c5ee622209.tar.xz |
tests: Fix some comments
-rwxr-xr-x | tests.sh | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 } |