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 {