Documentation.

franck44 · Oct 16, 2023 · 8677206 · 8677206
1 parent dcfdb44
commit 8677206
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/dafny/yul-bytecode-verif/overflowChecker/overflowChecker.dfy b/src/dafny/yul-bytecode-verif/overflowChecker/overflowChecker.dfy
@@ -32,7 +32,10 @@ module OverflowChecker {
   {    // thanks Dafny
   }
 
-
+    /**
+     *  Overfloe checker as generated bh the Solidity compiler.
+     *  `clean-up` calls have been removed.
+     */
   method checked_add_t_uint256(x: u256, y: u256, s: Executing) returns (sum: u256, s': State)
 
     /** if no overflow we get normal state s'. */