Set gas limit in LoopsTest.sum_N

runtimeverification · Sep 18, 2023 · 43d91db · 43d91db
1 parent 7e10100
commit 43d91db
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/kevm-pyk/src/tests/integration/test-data/foundry/test/Loops.t.sol b/kevm-pyk/src/tests/integration/test-data/foundry/test/Loops.t.sol
@@ -2,8 +2,9 @@
 pragma solidity =0.8.13;
 
 import "forge-std/Test.sol";
+import "../src/KEVMCheats.sol";
 
-contract LoopsTest is Test {
+contract LoopsTest is Test, KEVMCheats {
 
     uint constant WAD = 10 ** 18;
     uint constant RAY = 10 ** 27;
@@ -53,6 +54,7 @@ contract LoopsTest is Test {
         // Amount of gas consumed per iteration: 178
         // Number of iterations: n
         // 9223372036854772642 // 178 = 51816696836262767
+        kevm.setGas(9223372036854772642);
         vm.assume(n <= 51816696836262767);
         uint s = 0;
         while (0 < n) {