Skip to content

Commit

Permalink
scripts/run_commit_tests.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
TeamSPoon committed Aug 14, 2024
1 parent 24dd8cf commit 4b61949
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions scripts/run_commit_tests.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 4b61949

Please sign in to comment.