|
|
@ -55,7 +55,6 @@ class MiniGridShieldHandler(ShieldHandler): |
|
|
assert result == 0, "Prism file could not be generated" |
|
|
assert result == 0, "Prism file could not be generated" |
|
|
|
|
|
|
|
|
f = open(self.prism_path, "a") |
|
|
f = open(self.prism_path, "a") |
|
|
f.write("label \"AgentIsInLava\" = AgentIsInLava;") |
|
|
|
|
|
f.close() |
|
|
f.close() |
|
|
|
|
|
|
|
|
def __create_shield_dict(self): |
|
|
def __create_shield_dict(self): |
|
|
|
