fixed medusa matching strings

Author: gustavo-grieco

.github/workflows/medusa.yml

@@ -31,26 +31,26 @@ jobs:
             files: solution.sol
             contract: TestToken
             outcome: failure
-            expected: 'echidna_test_balance:\s*failed'
+            expected: 'echidna_test_balance()\" failed after the following call sequence'
           - name: Exercise 2
             workdir: program-analysis/echidna/exercises/exercise2/
             files: solution.sol
             contract: TestToken
             outcome: failure
-            expected: 'echidna_no_transfer:\s*failed'
+            expected: 'echidna_no_transfer()\" failed after the following call sequence'
           - name: Exercise 3
             workdir: program-analysis/echidna/exercises/exercise3/
             files: solution.sol
             contract: TestToken
             outcome: failure
-            expected: 'echidna_test_balance:\s*failed'
+            expected: 'echidna_test_balance()\" failed after the following call sequence'
           - name: Exercise 4
             workdir: program-analysis/echidna/exercises/exercise4/
             files: solution.sol
             config: config.yaml
             contract: TestToken
             outcome: failure
-            expected: 'transfer(address,uint256):\s*failed'
+            expected: 'transfer(address,uint256)\" failed after the following call sequence'
           - name: Exercise 5
             workdir: dvdefi/
             files: .
@@ -80,28 +80,28 @@ jobs:
             files: testtoken.sol
             contract: TestToken
             outcome: failure
-            expected: 'echidna_balance_under_1000:\s*failed'
+            expected: 'echidna_balance_under_1000()\" failed after the following call sequence'
           - name: Multi
             workdir: program-analysis/echidna/example/
             files: multi.sol
             contract: C
             config: filter.yaml
             outcome: failure
-            expected: 'echidna_state4:\s*failed'
+            expected: 'echidna_state4()\" failed after the following call sequence'
           - name: Assert
             workdir: program-analysis/echidna/example/
             files: assert.sol
             config: assert.yaml
             contract: Incrementor
             outcome: failure
-            expected: 'inc(uint256):\s*failed'
+            expected: 'inc(uint256)\" failed after the following call sequence'
           - name: PopsicleBroken
             workdir: program-analysis/echidna/example/
             files: PopsicleBroken.sol
             solc-version: 0.8.4
             contract: PopsicleBroken
             outcome: failure
-            expected: '\"PopsicleBroken.totalBalanceAfterTransferIsPreserved(address,uint256)\" resulted in an assertion failure after the following call sequence'
+            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