You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As part of our efforts to improve the default performance of Kontrol on Foundry proofs, we should infinite gas by default and add kevm.setGas(uint256) cheatcode that allows setting the available gas and a test for it.
The text was updated successfully, but these errors were encountered:
As part of our efforts to improve the default performance of Kontrol on Foundry proofs, we should infinite gas by default and add
kevm.setGas(uint256)
cheatcode that allows setting the available gas and a test for it.The text was updated successfully, but these errors were encountered: