gymlib integtests no longer crash when run together with other integtests

Author: wangpatrick57

env/tests/gymlib_integtest_util.py

@@ -67,6 +67,8 @@ def set_up_workspace() -> None:
         #
         # However, it also can't be created more than once so we need to check `is None`.
         if GymlibIntegtestManager.DBGYM_WORKSPACE is None:
+            # Reset this in case it had been created by a test *not* using GymlibIntegtestManager.set_up_workspace().
+            DBGymWorkspace.num_times_created_this_run = 0
             GymlibIntegtestManager.DBGYM_WORKSPACE = DBGymWorkspace(workspace_path)
 
     @staticmethod

util/workspace.py

@@ -131,6 +131,7 @@ class DBGymWorkspace:
 
     def __init__(self, dbgym_workspace_path: Path):
         # The logic around dbgym_tmp_path assumes that DBGymWorkspace is only constructed once.
+        # This is because DBGymWorkspace creates a new run_*/ dir when it's initialized.
         DBGymWorkspace.num_times_created_this_run += 1
         assert (
             DBGymWorkspace.num_times_created_this_run == 1