chore: comment fix

defi-wonderland · May 28, 2024 · 35ef998 · 35ef998
1 parent 7ada60b
commit 35ef998
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/test/invariants/fuzz/Greeter.t.sol b/test/invariants/fuzz/Greeter.t.sol
@@ -8,7 +8,6 @@ interface IHevm {
 }
 
 contract InvariantGreeter {
-  // See https://github.com/a16z/halmos-cheatcodes?tab=readme-ov-file
   IHevm internal _hevm = IHevm(0x7109709ECfa91a80626fF3989D68f67F5b1DD12D);
 
   Greeter internal _targetContract;

diff --git a/test/invariants/symbolic/Greeter.t.sol b/test/invariants/symbolic/Greeter.t.sol
@@ -4,7 +4,7 @@ pragma solidity 0.8.23;
 import {Greeter, IERC20} from 'contracts/Greeter.sol';
 
 import {Test} from 'forge-std/Test.sol';
-import {SymTest} from 'halmos-cheatcodes/src/SymTest.sol';
+import {SymTest} from 'halmos-cheatcodes/src/SymTest.sol'; // See https://github.com/a16z/halmos-cheatcodes?tab=readme-ov-file
 
 contract SymbolicGreeter is SymTest, Test {
   Greeter public targetContract;