Skip to content

Conversation

@tkonolige
Copy link
Contributor

This reverts commit 2b7013e.

Testing to see if this is the commit that is causing CI errors.

@masahi @vinx13

Copy link
Member

@junrushao junrushao left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would you like to confirm with the i386 docker env whether this bug is reproducible?

@tkonolige
Copy link
Contributor Author

I cannot reproduce this bug locally with the i386 docker.

@tkonolige
Copy link
Contributor Author

I have figured out how to reproduce the bug. Set seed = 8607320357002032383 here: https://github.com/apache/tvm/blob/main/tests/python/unittest/test_arith_solve_linear_inequality.py#L25. With this revert, the bug is fixed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants