Replace KevmUtil in favor of KontrolCheats library

runtimeverification · Oct 10, 2023 · e2889c8 · e2889c8
1 parent e6a2ef0
commit e2889c8
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "lib/solady"]
 	path = lib/solady
 	url = https://github.com/vectorized/solady
+[submodule "lib/kontrol-cheatcodes"]
+	path = lib/kontrol-cheatcodes
+	url = https://github.com/runtimeverification/kontrol-cheatcodes
diff --git a/lib/kontrol-cheatcodes b/lib/kontrol-cheatcodes
diff --git a/test/FixedPointMathLib.k.sol b/test/FixedPointMathLib.k.sol
@@ -3,10 +3,9 @@ pragma solidity ^0.8.13;
 
 import "forge-std/Test.sol";
 import "solady/src/utils/FixedPointMathLib.sol";
+import "kontrol-cheatcodes/KontrolCheats.sol";
 
-import "./KevmUtil.sol";
-
-contract FixedPointMathLibVerification is Test, KevmUtil {
+contract FixedPointMathLibVerification is Test, KontrolCheats {
 
     // Constants
     uint256 constant WAD = 1e18;