From 521c71eba4d1d8e98bc787f6e804d8b007c21244 Mon Sep 17 00:00:00 2001 From: sp Date: Wed, 3 Jan 2024 20:40:49 +0100 Subject: [PATCH] removed erroneous file write --- examples/shields/rl/utils.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/examples/shields/rl/utils.py b/examples/shields/rl/utils.py index 5bb3fcf..b526e18 100644 --- a/examples/shields/rl/utils.py +++ b/examples/shields/rl/utils.py @@ -51,13 +51,12 @@ class MiniGridShieldHandler(ShieldHandler): else: result = os.system(F"{self.grid_to_prism_path} -v 'Agent' -i {self.grid_file} -o {self.prism_path} -c {self.prism_config}") # result = os.system(F"{self.grid_to_prism_path} -v 'Agent' -i {self.grid_file} -o {self.prism_path} -c adv_config.yaml") - + assert result == 0, "Prism file could not be generated" - + f = open(self.prism_path, "a") - f.write("label \"AgentIsInLava\" = AgentIsInLava;") f.close() - + def __create_shield_dict(self): print(self.prism_path) program = stormpy.parse_prism_program(self.prism_path)