From 988d64900bb80efba4f8c63ae17d30dc505aa0c4 Mon Sep 17 00:00:00 2001
From: chenyu <chenyu@fastmail.com>
Date: Wed, 27 Nov 2024 15:23:21 -0500
Subject: [PATCH] add TODO case to test_mod_congruence (#7925)

same alu count but better bounds
---
 test/unit/test_uop_symbolic.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test/unit/test_uop_symbolic.py b/test/unit/test_uop_symbolic.py
index d7f716cf58..395ff977f3 100644
--- a/test/unit/test_uop_symbolic.py
+++ b/test/unit/test_uop_symbolic.py
@@ -195,6 +195,8 @@ class TestSymbolic(unittest.TestCase):
   def test_mod_congruence(self):
     self.helper_test_variable((3+3*Variable("a",0,3))%4, 0, 3, "((a*-1)+3)")
     self.helper_test_variable((17+13*Variable("a",0,3))%18, 2, 17, "((a*-5)+17)")
+    # TODO: 2, 11, (a%2)*9+2
+    self.helper_test_variable((2+9*Variable("a",0,3))%18, 0, 17, "(((a*9)+2)%18)")
 
   def test_mod_congruence_mul_add(self):
     self.helper_test_variable((6*(Variable("a", 0, 2)+1))%9, 0, 6, "((a*-3)+6)")