Changing names for clean and noisy environments via version

2023-03-28 20:21:58 +02:00 · 2023-03-28 20:21:58 +02:00 · d558b9f558
commit d558b9f558
parent 41dcf22262
1 changed files with 1 additions and 0 deletions
--- a/DPI/utils.py
+++ b/DPI/utils.py
@ -193,6 +193,7 @@ def make_env(args):
            frame_skip=args.action_repeat,
            video_recording=args.save_video,
            video_recording_dir=args.work_dir,
+            version=args.version,
        )
    return env