You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the above code no warnings are issued when the 256 bit number is silently truncated to 129 bits. However if the 129 is changed to 128, the correct message 'too many digits', is correctly issued. Feel free to use this for the regression suite if wanted.
The text was updated successfully, but these errors were encountered:
Author Name: Jonathan Kimmitt (@jrrk2)
Original Redmine Issue: 1380 from https://www.veripool.org
Original Assignee: Wilson Snyder (@wsnyder)
In the above code no warnings are issued when the 256 bit number is silently truncated to 129 bits. However if the 129 is changed to 128, the correct message 'too many digits', is correctly issued. Feel free to use this for the regression suite if wanted.
The text was updated successfully, but these errors were encountered: