From 7ec988da121692a7a714606a5b1e5c4d7b7fe59c Mon Sep 17 00:00:00 2001 From: Thomas Knoll Date: Fri, 22 Dec 2023 13:42:06 +0100 Subject: [PATCH] log dir change --- examples/shields/rl/helpers.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/shields/rl/helpers.py b/examples/shields/rl/helpers.py index 3d943eb..af59256 100644 --- a/examples/shields/rl/helpers.py +++ b/examples/shields/rl/helpers.py @@ -64,7 +64,7 @@ def extract_adversaries(env): return adv def create_log_dir(args): - return F"{args.log_dir}sh:{args.shielding}-value:{args.shield_value}-env:{args.env}-conf:{args.prism_config}" + return F"{args.log_dir}sh:{args.shielding}-value:{args.shield_value}-comp:{args.shield_comparision}-env:{args.env}-conf:{args.prism_config}" def test_name(args): return F"{args.expname}"