Browse Source

log dir change

refactoring
Thomas Knoll 1 year ago
parent
commit
7ec988da12
  1. 2
      examples/shields/rl/helpers.py

2
examples/shields/rl/helpers.py

@ -64,7 +64,7 @@ def extract_adversaries(env):
return adv return adv
def create_log_dir(args): 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): def test_name(args):
return F"{args.expname}" return F"{args.expname}"

Loading…
Cancel
Save