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; }...