enable export of shield

9 months ago · 8a201a1c3c
1 changed files with 1 additions and 1 deletions
--- a/examples/shields/rl/utils.py
+++ b/examples/shields/rl/utils.py
@ -116,7 +116,7 @@ class MiniGridShieldHandler(ShieldHandler):
        state_valuations = model.state_valuations
        choice_labeling = model.choice_labeling

-        #stormpy.shields.export_shield(model, shield, self.tmp_dir_name + "/current.shield")
+        stormpy.shields.export_shield(model, shield, self.tmp_dir_name + "/shield")

        print(f"LOG: Starting to translate shield...")
        tic()