From 8a201a1c3cccda33490c1e3910d69efc9749ca76 Mon Sep 17 00:00:00 2001 From: sp Date: Tue, 12 Mar 2024 10:27:45 +0100 Subject: [PATCH] enable export of shield --- examples/shields/rl/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/shields/rl/utils.py b/examples/shields/rl/utils.py index 42560e9..c70e9b2 100644 --- 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()