Tiny bug in value generation

cksystemsteaching · Jan 16, 2025 · 7b81422 · 7b81422
1 parent dce3944
commit 7b81422
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/bitme.py b/tools/bitme.py
@@ -742,7 +742,7 @@ def get_mapped_array_expression_for(self, index):
 
     def get_values(self, step):
         if 0 not in self.cache_values:
-            if self.sid_line.size <= Instance.PROPAGATE and isinstance(self.sid_line, Bitvector):
+            if isinstance(self.sid_line, Bitvector) and self.sid_line.size <= Instance.PROPAGATE:
                 self.cache_values[0] = Values(self.sid_line)
                 for value in range(2**self.sid_line.size):
                     self.cache_values[0].set_value(self.sid_line, value,