summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2017-09-20 18:47:35 -0400
committerTavian Barnes <tavianator@tavianator.com>2017-09-20 18:47:35 -0400
commit193d6cb45754e32ac7d1d4215a27b567a4418a44 (patch)
tree6f07ba98b0c2924ff8f8108c2e5304e36c601098
parentecc7b3249050c17e089d6a812472d2923d572bcc (diff)
downloadbfs-193d6cb45754e32ac7d1d4215a27b567a4418a44.tar.xz
tests: -quit is not POSIX
-rwxr-xr-xtests.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests.sh b/tests.sh
index 6a46ad7..57aa47b 100755
--- a/tests.sh
+++ b/tests.sh
@@ -209,7 +209,6 @@ posix_tests=(
test_o
test_deep
test_double_negation
- test_not_reachability
test_de_morgan_not
test_de_morgan_and
test_de_morgan_or
@@ -375,6 +374,7 @@ gnu_tests=(
test_precedence
test_and_purity
test_or_purity
+ test_not_reachability
test_comma_reachability
)