cchung100m commented on issue #19986: URL: https://github.com/apache/tvm/issues/19986#issuecomment-5710294383
Hi @tlopex This test(and the `arith.solve_linear_equations` / `arith.solve_linear_inequalities` public API it exercised) has since been removed entirely by #20355, which retired the standalone equation/inequality solver along with `tvm.testing.check_int_constraints_trans_consistency` and both `tests/python/arith/test_arith_solve_linear_equations.py` and `test_arith_solve_linear_inequality.py`. Since the code path and the test that surfaced this flakiness no longer exist on main, there's nothing left to fix here. Maybe we can close this issue now. Thanks. -- 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] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
