commented out shield export call

1 year ago · d64f569499
2 changed files with 2 additions and 2 deletions
--- a/examples/shields/rl/15_train_eval_tune.py
+++ b/examples/shields/rl/15_train_eval_tune.py
@ -139,7 +139,7 @@ def main():

    ppo(args)
   
-
+    ray.shutdown()

 if __name__ == '__main__':
    main()
--- a/examples/shields/rl/shieldhandlers.py
+++ b/examples/shields/rl/shieldhandlers.py
@ -69,7 +69,7 @@ class MiniGridShieldHandler(ShieldHandler):

            action_dictionary[state_valuation] = actions_to_be_executed

-        stormpy.shields.export_shield(model, shield, "Grid.shield")
+        # stormpy.shields.export_shield(model, shield, "Grid.shield")
       
        return action_dictionary