Test breaking change comment

.github/SOLIDITY_COMPAT_ISSUE.md

@@ -3,3 +3,6 @@ Compatibility with the [Arecibo](https://github.com/lurk-lab/arecibo) dependency
 Check the [Solidity compatibility workflow run](__WORKFLOW_URL__) for details.
 
 This issue was raised by the workflow at __WORKFLOW_FILE__.
+
+> [!NOTE]
+> This is a test

.github/workflows/solidity.yml

@@ -41,7 +41,9 @@ jobs:
       - uses: taiki-e/install-action@nextest
       - uses: Swatinem/rust-cache@v2
       - name: Run Solidity test generator
-        run: cargo nextest run -E 'test(test_solidity_compatibility)' --release --run-ignored all > test-output
+        run: |
+          cargo nextest run -E 'test(test_solidity_compatibility)' --release --run-ignored all > test-output
+          cat test-output
         working-directory: ${{ github.workspace }}
       - name: Check out `solidity-verifier` for tests
         uses: actions/checkout@v4
@@ -55,6 +57,7 @@ jobs:
           version: nightly
       - name: Prep Solidity test files
         run: |
+          cat test-output
           # Get test names from output
           TEST_NAMES=$(grep 'test provider::*' test-output | awk -F'[_(.*?)\b...]' '{ print $(NF-3) }')
           echo "$TEST_NAMES"
@@ -88,12 +91,14 @@ jobs:
               buffer = ""
             }
           }' test-output
+          cat ipa.t.sol
 
           # Clean up
           shopt -s nullglob
           for file in *.t.sol; do
-              sed '/^running 1 test$/d;/^test provider.*$/d' $file > tmp.file && mv tmp.file solidity-verifier/test/$file
+              cat $file | sed '1,3d' | sed -n -e :a -e '1,4!{P;N;D;};N;ba' > tmp.file && mv tmp.file solidity-verifier/test/$file
           done
+          shopt -u nullglob
         working-directory: ${{ github.workspace }}
       - name: Run Forge tests
         id: solidity-test

src/provider/tests/ipa_pc.rs

@@ -22,6 +22,7 @@ import \"src/blocks/grumpkin/Grumpkin.sol\";
 import \"src/blocks/EqPolynomial.sol\";
 import \"src/Utilities.sol\";
 import \"src/blocks/IpaPcs.sol\";
+\"@std/Test.sol\";cs.sol\";
 
 contract IpaTest is Test {
 function composeIpaInput() public pure returns (InnerProductArgument.IpaInputGrumpkin memory) {
@@ -50,7 +51,6 @@ uint256 eval = {{ eval }};
 return InnerProductArgument.IpaInputGrumpkin(ck_v, ck_s, point, L_vec, R_vec, commitment, eval, a_hat);
 }
 
-function testIpaGrumpkinVerification_{{ num_vars }}_Variables() public {
 InnerProductArgument.IpaInputGrumpkin memory input = composeIpaInput();
 assertTrue(InnerProductArgument.verifyGrumpkin(input, getTranscript()));
 }