From a5f2328d657e7d6129d4df3da59bef6514f9f38e Mon Sep 17 00:00:00 2001
From: drgorillamd <83670532+drgorillamd@users.noreply.github.com>
Date: Mon, 20 May 2024 16:35:01 +0200
Subject: [PATCH] chore: naming

---
 test/invariants/fuzz/Greeter.t.sol     | 2 +-
 test/invariants/symbolic/Greeter.t.sol | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/invariants/fuzz/Greeter.t.sol b/test/invariants/fuzz/Greeter.t.sol
index b8182fcc..2aa39942 100644
--- a/test/invariants/fuzz/Greeter.t.sol
+++ b/test/invariants/fuzz/Greeter.t.sol
@@ -7,7 +7,7 @@ interface IHevm {
   function prank(address) external;
 }
 
-contract GreeterInvariant {
+contract InvariantGreeter {
   address constant HEVM_ADDRESS = 0x7109709ECfa91a80626fF3989D68f67F5b1DD12D;
   IHevm hevm = IHevm(HEVM_ADDRESS);
   Greeter public targetContract;
diff --git a/test/invariants/symbolic/Greeter.t.sol b/test/invariants/symbolic/Greeter.t.sol
index 525e055e..763a99a7 100644
--- a/test/invariants/symbolic/Greeter.t.sol
+++ b/test/invariants/symbolic/Greeter.t.sol
@@ -6,7 +6,7 @@ import {Greeter, IERC20} from 'contracts/Greeter.sol';
 import {Test} from 'forge-std/Test.sol';
 import {SymTest} from 'halmos-cheatcodes/src/SymTest.sol';
 
-contract GreeterSymbolic is SymTest, Test {
+contract SymbolicGreeter is SymTest, Test {
   Greeter public targetContract;
 
   function setUp() public {