From 22a9a4c9cd14d23735e6540c8d90ee005ac4ea17 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Szymon=20O=C5=BC=C3=B3g?= Date: Wed, 23 Aug 2023 19:59:15 +0200 Subject: [PATCH] fix symbolic tests to include chain split --- test/unit/test_symbolic.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/unit/test_symbolic.py b/test/unit/test_symbolic.py index dd2536887d..8132ab3937 100644 --- a/test/unit/test_symbolic.py +++ b/test/unit/test_symbolic.py @@ -32,10 +32,10 @@ class TestSymbolic(unittest.TestCase): def test_ge_divides_and(self): expr = Variable.ands([(Variable("idx1", 0, 511)*4 + Variable("FLOAT4_INDEX", 0, 3)) < 512, (Variable("idx2", 0, 511)*4 + Variable("FLOAT4_INDEX", 0, 3)) < 512]) - self.helper_test_variable(expr//4, 0, 1, "((idx1<128) and (idx2<128))") + self.helper_test_variable(expr//4, 0, 1, "((idx1<128) and ((idx2<128)))") expr = Variable.ands([(Variable("idx1", 0, 511)*4 + Variable("FLOAT4_INDEX", 0, 3)) < 512, (Variable("idx2", 0, 511)*4 + Variable("FLOAT8_INDEX", 0, 7)) < 512]) - self.helper_test_variable(expr//4, 0, 1, "((((FLOAT8_INDEX//4)+idx2)<128) and (idx1<128))") + self.helper_test_variable(expr//4, 0, 1, "((((FLOAT8_INDEX//4)+idx2)<128) and ((idx1<128)))") def test_lt_factors(self): expr = Variable.ands([(Variable("idx1", 0, 511)*4 + Variable("FLOAT4_INDEX", 0, 256)) < 512])