From b35f4e9d31e2586e9461531616ed3318095406dc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= Date: Wed, 27 Mar 2024 23:26:32 +0100 Subject: [PATCH] Fix warning in the CI --- .github/workflows/gobra.yml | 40 ++++++++++++++++++------------------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml index 1a8ba64e4..ab6668532 100644 --- a/.github/workflows/gobra.yml +++ b/.github/workflows/gobra.yml @@ -23,7 +23,7 @@ env: mceMode: 'od' requireTriggers: '1' useZ3API: '0' - backend: 'SILICON' + viperBackend: 'SILICON' disableNL: '0' unsafeWildcardOptimization: '1' overflow: '0' @@ -67,7 +67,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/addr' uses: viperproject/gobra-action@main @@ -87,7 +87,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/experimental/epic' uses: viperproject/gobra-action@main @@ -106,7 +106,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/log' uses: viperproject/gobra-action@main @@ -125,7 +125,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/private/serrors' uses: viperproject/gobra-action@main @@ -144,7 +144,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/scrypto' uses: viperproject/gobra-action@main @@ -163,7 +163,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/slayers' uses: viperproject/gobra-action@main @@ -182,7 +182,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/slayers/path' uses: viperproject/gobra-action@main @@ -201,7 +201,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/slayers/path/empty' uses: viperproject/gobra-action@main @@ -220,7 +220,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/slayers/path/epic' uses: viperproject/gobra-action@main @@ -240,7 +240,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/slayers/path/onehop' uses: viperproject/gobra-action@main @@ -259,7 +259,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'pkg/slayers/path/scion' uses: viperproject/gobra-action@main @@ -278,7 +278,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'private/topology' uses: viperproject/gobra-action@main @@ -297,7 +297,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'private/topology/underlay' uses: viperproject/gobra-action@main @@ -316,7 +316,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'private/underlay/conn' uses: viperproject/gobra-action@main @@ -335,7 +335,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'private/underlay/sockctrl' uses: viperproject/gobra-action@main @@ -354,7 +354,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'router/bfd' uses: viperproject/gobra-action@main @@ -373,7 +373,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Verify package 'router/control' uses: viperproject/gobra-action@main @@ -392,7 +392,7 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: ${{ env.disableNL }} - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }} - name: Upload the verification report uses: actions/upload-artifact@v2 @@ -425,6 +425,6 @@ jobs: overflow: ${{ env.overflow }} useZ3API: ${{ env.useZ3API }} disableNL: '1' - backend: ${{ env.backend }} + viperBackend: ${{ env.viperBackend }} unsafeWildcardOptimization: ${{ env.unsafeWildcardOptimization }}