From ac3d43899a6289ecfc9284fdf3a7675ac0fbd2c0 Mon Sep 17 00:00:00 2001
From: drgorillamd <83670532+drgorillamd@users.noreply.github.com>
Date: Mon, 20 May 2024 16:41:27 +0200
Subject: [PATCH] fix: typo echidna

---
 .github/workflows/tests.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 70be1df4..c337f66a 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -32,7 +32,7 @@ jobs:
 
       - name: Install dependencies
         run: yarn --frozen-lockfile --network-concurrency 1
-        
+
       - name: Run slither
         uses: crytic/slither-action@v0.3.1
         with:
@@ -124,7 +124,7 @@ jobs:
         uses: crytic/echidna-action@v2
         with:
           files: .
-          contract: GreeterInvariant
+          contract: InvariantGreeter
           crytic-args: --ignore-compile
 
   halmos-tests: