Revert "revert a mod pattern (#5864)" (#5870)

This reverts commit 5c8de2d044.
This commit is contained in:
chenyu
2024-08-01 20:44:26 -04:00
committed by GitHub
parent 1b0314d9ef
commit df138bc558
3 changed files with 2 additions and 5 deletions

View File

@@ -261,7 +261,6 @@ class TestSymbolic(unittest.TestCase):
# TODO: simplify further
self.helper_test_variable((1+Variable("a", 0, 3))*(-2)+12, 4, 10, {"((a*-2)+10)", "(((a+1)*(-2))+12)"})
@unittest.expectedFailure
def test_mod_mul_sum(self):
self.helper_test_variable(Node.sum([Variable("b", 0, 2), Variable("a", 0, 5)*10])%9, 0, 7, "(a+b)")