chore: naming

defi-wonderland · May 20, 2024 · a5f2328 · a5f2328
1 parent 0a812ac
commit a5f2328
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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 {