From 4b6194950e6ff56142e540d7e37732a203c0dcf2 Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Wed, 14 Aug 2024 01:03:15 -0700 Subject: [PATCH] scripts/run_commit_tests.sh --- scripts/run_commit_tests.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/run_commit_tests.sh b/scripts/run_commit_tests.sh index de624c036f3..f8b6853ccfb 100755 --- a/scripts/run_commit_tests.sh +++ b/scripts/run_commit_tests.sh @@ -3,6 +3,6 @@ # This script generates the input file used by the Python script. # Replace the following lines with the actual commands to generate the input file. -echo "| ANTI-REGRESSION.BC-COMP.01 | PASS |(https://example.com/test-report) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) |" > /tmp/SHARED.UNITS - +#echo "| ANTI-REGRESSION.BC-COMP.01 | PASS |(https://example.com/test-report) | (assertEqualToResult (add-atom &kb (: axiom (nums 2 3)))) | (()) | (()) |" > /tmp/SHARED.UNITS +cat ./scripts/SHARED.UNITS.PREV.md > /tmp/SHARED.UNITS # You can add more lines or commands to generate additional input data