Treat ranges as just a pile of exacts
Expand into exacts before generating Logic file
@@ -247,6 +247,12 @@ class LogicAnalyzer:
#print "ProblemSizes", problemSizes.sizes
self.rangeProblemSizes.update(problemSizes.sizes)
for rangeSize in problemSizes.ranges:
+
+ # Treat ranges as pile of exacts:
+ for rsize in rangeSize.problemSizes:
+ self.exactProblemSizes.add(tuple(rsize))
+
+ if 0: # no special range treatment, those were expanded above
#print "RangeSize", rangeSize
sizedIdx = 0
mappedIdx = 0
