Jim Miller
Results
2
comments of
Jim Miller
Comment on this issue with your solution before submitting a PR.
the same point applies to overflow checking on things like `uint256_add`, for example: ``` let (total: Uint256, carry: felt) = uint256_add(a, b); with_attr error_message("OVERFLOW") { assert carry = 0; }...