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 | |