10 lines
310 B
Plaintext
10 lines
310 B
Plaintext
Checks that increased aggressiveness in sparse conditional constant propagation resultin from a node being proven to be force exit does not lead to a cascade of unsound decisions.
|
|
|
|
On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
|
|
|
|
|
|
Passed some tests silently.
|
|
|
|
TEST COMPLETE
|
|
|