Add claimOnCreation function to IFaucet interface in setup.spec for K…

…intoID.
KintoXYZ · Oct 22, 2024 · 6f9067b · 6f9067b
1 parent 66d0b4e
commit 6f9067b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/certora/spec/KintoID/setup.spec b/certora/spec/KintoID/setup.spec
@@ -25,6 +25,9 @@ methods {
 
     // IERC721Receiver
     function _.onERC721Received(address,address,uint256,bytes) external => NONDET;
+
+    // IFaucet
+    function _.claimOnCreation(address) external => NONDET;
 }
 
 /*