output to a file and grep result

Author: gustavo-grieco

.github/workflows/medusa.yml

@@ -100,7 +100,7 @@ jobs:
             config: Popsicle.yaml
             contract: PopsicleBroken
             outcome: failure
-            expected: 'totalBalanceAfterTransferIsPreserved(address,uint256):\s*failed'
+            expected: '"PopsicleBroken.totalBalanceAfterTransferIsPreserved(address,uint256)" resulted in an assertion failure after the following call sequence'
           - name: PopsicleFixed
             workdir: program-analysis/echidna/example/
             files: PopsicleFixed.sol
@@ -163,10 +163,22 @@ jobs:
             go build -o medusa -v .
             go install -v .
             sudo cp medusa /usr/bin
-            pip install crytic-compile
+            pip install crytic-compile solc-select
 
-      - name: Run Medusa for Internal ERC20 tests
+      - name: Run Medusa
         continue-on-error: true
         working-directory: ${{ matrix.workdir }}
         run: |
-          medusa fuzz --compilation-target ${{ matrix.files }} --target-contracts ${{ matrix.contract }}
+          solc-select install ${{ matrix.solc-version || '0.8.0' }}
+          solc-select use ${{ matrix.solc-version || '0.8.0' }}
+          medusa fuzz --compilation-target ${{ matrix.files }} --target-contracts ${{ matrix.contract }} > ${{ matrix.files }}.out
+
+      - name: Verify that the output is correct
+        run: |
+          if grep -q "${{ matrix.expected }}" "${{ matrix.files }}.out"; then
+            echo "Output matches"
+          else
+            echo "Output mismatch. Expected something matching '${{ matrix.expected }}'. Got the following:"
+            cat "${{ matrix.files }}.out"
+            exit 1
+          fi