Lunderberg commented on PR #11102: URL: https://github.com/apache/tvm/pull/11102#issuecomment-1106686987
I did a brief search for unit tests that can be simplified from this, and those changes are included in this PR. There were a few locations where verifying that they could be replaced with `.can_prove_equal` while maintaining the functionality of the test would have taken additional investigation. These were in [`test_region_lower_bound_for_non_perfect_tile`](https://github.com/apache/tvm/blob/main/tests/python/unittest/test_arith_intset.py#L264) (uses non-default number of simplification steps) and in [`test_tensorize_vadd`](https://github.com/apache/tvm/blob/main/tests/python/unittest/test_te_schedule_tensorize.py#L117) (may be validating the generated expression, not just equality). -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
