[GitHub] [tvm] Lunderberg commented on pull request #11102: [Analysis] Exposed Analyzer::CanProveEqual to Python API

[GitBox <gi...@apache.org>]

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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org