Add forgetBranch cheatcode (#15)

* add forgetBranch cheatcode * Update src/IKontrolCheatsBase.sol --------- Co-authored-by: Petar Maksimović <[email protected]>
runtimeverification · Dec 5, 2024 · f42ba5f · f42ba5f
1 parent 9b70241
commit f42ba5f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/IKontrolCheatsBase.sol b/src/IKontrolCheatsBase.sol
@@ -3,6 +3,7 @@ pragma solidity >=0.6.2 <0.9.0;
 pragma experimental ABIEncoderV2;
 
 interface KontrolCheatsBase {
+    enum ComparisonOperator { Equal, NotEqual, LessThanOrEqual, LessThan, GreaterThanOrEqual, GreaterThan }
     // Expects a call using the CALL opcode to an address with the specified calldata.
     function expectRegularCall(address,bytes calldata) external;
     // Expects a call using the CALL opcode to an address with the specified msg.value and calldata.
@@ -35,4 +36,6 @@ interface KontrolCheatsBase {
     function freshBytes(uint256) external view returns (bytes memory);
     // Returns a symbolic address
     function freshAddress() external view returns (address);
+    // Removes a branching condition from the path constraints
+    function forgetBranch(uint256, ComparisonOperator, uint256) external;
 }