fix hole range definition for non-range defined holes

randriu · Dec 1, 2023 · 6298fb7 · 6298fb7
1 parent f659314
commit 6298fb7
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/paynt/parser/prism_parser.py b/paynt/parser/prism_parser.py
@@ -127,6 +127,12 @@ def parse_holes(cls, prism, expression_parser, hole_definitions):
                 options = [str(o) for o in range(range_start,range_end+1)]
             else:
                 options = hole_options.split(",")
+                if hole_type == "int":
+                    options_numerical = [int(o) for o in options]
+                else:
+                    options_numerical = [float(o) for o in options]
+                hole_min.append(min(options_numerical))
+                hole_max.append(max(options_numerical))
             expressions = [expression_parser.parse(o) for o in options]
             hole_expressions.append(expressions)