From 28367f898947ece0fb1b1a3517164fc063c98d53 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Tue, 20 Sep 2022 16:23:25 +0200
Subject: [PATCH] fix action

---
 .github/workflows/formal-verifiation.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index beca278c2..a533c1dda 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -40,9 +40,13 @@ jobs:
       - name: Verify rule ${{ matrix.params.spec }}
         if: matrix.params.disabled != true
         run: |
-          echo "key length" ${#CERTORAKEY}
+          echo "file:" ${{ matrix.params.file }}
+          echo "name:" ${{ matrix.params.name }}
+          echo "spec:" ${{ matrix.params.spec }}
+          echo "key length:" ${#CERTORAKEY}
+
           make -C certora munged
-          certoraRun ${{ matrix.params.file }} --verify ${{ matrix.params.name }}:$${{ matrix.params.spec }} --solc solc --optimistic_loop --loop_iter 3 --rule_sanity advanced --cloud
+          certoraRun ${{ matrix.params.file }} --verify ${{ matrix.params.name }}:${{ matrix.params.spec }} --solc solc --optimistic_loop --loop_iter 3 --rule_sanity advanced --cloud
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
     strategy: