uncomment timer

2024-03-18 12:02:34 +08:00
parent 8080828a84
commit 576248ae18
1 changed files with 1 additions and 1 deletions
--- a/lib_run_single.py
+++ b/lib_run_single.py
@@ -14,7 +14,7 @@ with open("./settings.json", "r") as file:
    data = json.load(file)
 time_limit = data["time_limit"]

-# @timeout(time_limit, use_signals=False)
+@timeout(time_limit, use_signals=False)
 def run_single_example(agent, env, example, max_steps, instruction, args, example_result_dir, scores, run):
    agent.reset()
    obs = env.reset(task_config=example)