|
Tests that when values predicted but not proven int are used in a tower of additions, we don't eliminate the overflow check unsoundly.
|
|
|
|
On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
|
|
|
|
|
|
Passed some tests silently.
|
|
|
|
TEST COMPLETE
|
|
|