feat: add new label and assume cheatcodes (#10)

maple-labs · Mar 16, 2022 · 9003816 · 9003816
1 parent 3bda523
commit 9003816
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/contracts/interfaces.sol b/contracts/interfaces.sol
@@ -83,6 +83,13 @@ interface Vm {
     // Calldata can either be strict or a partial match
     function expectCall(address,bytes calldata) external;
 
+    // Gets the code from an artifact file. Takes in the relative path to the json file
     function getCode(string calldata) external returns (bytes memory);
 
-}
+    // Labels an address in call traces
+    function label(address, string calldata) external;
+
+    // If the condition is false, discard this run's fuzz inputs and generate new ones
+    function assume(bool) external;
+
+}