From 23b8b707cb1e1ac0e0f0546b1c94be90b4ab23cb Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 23 Mar 2026 01:17:44 +0000
Subject: [PATCH 1/2] Initial plan


From df0f6ac37bc66ee677be0183c794c8347176457d Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 23 Mar 2026 01:18:32 +0000
Subject: [PATCH 2/2] Collapse redundant frontend test commands into single
 instruction

Co-authored-by: dan323 <32780500+dan323@users.noreply.github.com>
Agent-Logs-Url: https://github.com/dan323/natural-deduction/sessions/c75973e4-b1cd-4677-92a2-fb1ef3782a06
---
 docs/SETUP.md | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/docs/SETUP.md b/docs/SETUP.md
index 06d671312..9e63f5883 100644
--- a/docs/SETUP.md
+++ b/docs/SETUP.md
@@ -195,17 +195,12 @@ Coverage reports are generated in: `target/site/jacoco/index.html`
 
 ### Frontend Tests
 
-**Run all tests**:
+**Run all tests** (coverage is collected by default):
 ```powershell
 cd frontend
 npm test
 ```
 
-**Run with coverage (coverage is collected by default)**:
-```powershell
-npm test
-```
-
 Coverage report: `frontend/coverage/lcov-report/index.html`
 
 **Run specific test file**: