From 7627645e6381e79f313ac8abbdeac6d5e9624995 Mon Sep 17 00:00:00 2001 From: sp Date: Mon, 15 Jan 2024 12:35:57 +0100 Subject: [PATCH] changed default expname --- 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 1dd01cf..9986772 100644 --- a/examples/shields/rl/utils.py +++ b/examples/shields/rl/utils.py @@ -129,7 +129,7 @@ class MiniGridShieldHandler(ShieldHandler): def create_log_dir(args): - return f"{args.log_dir}sh:{args.shielding}-value:{args.shield_value}-comp:{args.shield_comparison}-env:{args.env}-conf:{args.prism_config}" + return f"{args.log_dir}sh_{args.shielding}-value_{args.shield_value}-comp_{args.shield_comparison}-env_{args.env}-conf_{args.prism_config}" def test_name(args): return f"{args.expname}"