Skip to content
Snippets Groups Projects
Verified Commit 522c48c2 authored by Simon Schwitanski's avatar Simon Schwitanski :slight_smile:
Browse files

Clean up outdated code

parent 49cc8f6a
No related branches found
No related tags found
No related merge requests found
......@@ -222,22 +222,6 @@ def cmd_run(rootdir, toolname, batchinfo):
with mp.Pool(args.nworkers) as pool:
pool.starmap(tools[toolname].run, work_items)
# for test in todo:
# binary = re.sub('\.c', '', os.path.basename(test['filename']))
# print(f"\nTest #{count} out of {len(todo)}: '{binary}_{test['id']} '", end="... ")
# count += 1
# sys.stdout.flush()
# p = mp.Process(target=tools[toolname].run, args=(test['cmd'], test['filename'], binary, test['id'], args.timeout, batchinfo))
# with mp.Pool(5) as pool:
# pool.starmap()
# p.start()
# sys.stdout.flush()
# p.join(args.timeout+60)
# if p.is_alive():
# print("HARD TIMEOUT! The child process failed to timeout by itself. Sorry for the output.")
# p.terminate()
tools[toolname].teardown()
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment