Merge branch 'master' into game-abstraction

randriu · Dec 6, 2023 · 995bda8 · 995bda8
2 parents f6ea690 + 5ec0aa9
commit 995bda8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/paynt/quotient/models.py b/paynt/quotient/models.py
@@ -22,6 +22,7 @@ def initialize(cls, specification):
         cls.builder_options.set_build_state_valuations(True)
         cls.builder_options.set_add_overlapping_guards_label()
         cls.builder_options.set_build_observation_valuations(True)
+        # cls.builder_options.set_exploration_checks(True)
 
         # model checking environment
         cls.environment = stormpy.Environment()