From 6298fb7c503904253428908c46df73bc0a133d6a Mon Sep 17 00:00:00 2001 From: Roman Andriushchenko Date: Fri, 1 Dec 2023 10:44:49 +0100 Subject: [PATCH] fix hole range definition for non-range defined holes --- paynt/parser/prism_parser.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/paynt/parser/prism_parser.py b/paynt/parser/prism_parser.py index d204ef72b..2cdeeef8d 100644 --- 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)