clause · cjkenend · Mar 11, 2026 · Mar 21, 2026 · Apr 2, 2026
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,13 @@ version = "0.1.0"
 description = "Add your description here"
 readme = "README.md"
 requires-python = ">=3.14"
-dependencies = ["pytest>=9.0.2", "pytest-html>=4.2.0", "pytest-sugar>=1.1.1"]
+dependencies = [
+    "pytest>=9.0.2",
+    "pytest-cov>=7.0.0",
+    "pytest-gremlins>=1.8.0",
+    "pytest-html>=4.2.0",
+    "pytest-sugar>=1.1.1",
+]
 
 [dependency-groups]
 dev = ["ruff>=0.15.1"]
@@ -16,3 +22,4 @@ addopts = [
     "--html=reports/pytest_html/index.html",
     "--self-contained-html",
 ]
+pythonpath = ["src"]
diff --git a/src/tcas/main.py b/src/tcas/main.py
@@ -65,11 +65,7 @@ def altitude_separation_test(state: State) -> int:
         and (state.own_tracked_alt_rate <= 600)
         and (state.current_vertical_sep > 600)
     ) and (
-        (
-            (state.other_capability == 1)
-            and (state.two_of_three_reports_valid and state.other_rac == 0)
-        )
-        or not (state.other_capability == 1)
+        ((state.other_capability == 1)and (state.two_of_three_reports_valid and state.other_rac == 0)) or not (state.other_capability == 1)
     ):
         need_upward_RA = non_crossing_biased_climb(state) and own_below_threat(state)
         need_downward_RA = non_crossing_biased_descend(state) and own_above_threat(

diff --git a/test/__init__.py b/test/__init__.py
diff --git a/test/clause/__init__.py b/test/clause/__init__.py
diff --git a/test/clause/test_altitude_separation_test.py b/test/clause/test_altitude_separation_test.py
diff --git a/test/predicate/__init__.py b/test/predicate/__init__.py