From 522c48c27f37a51824c41a7e4b0ed8f503334abf Mon Sep 17 00:00:00 2001
From: Simon Schwitanski <schwitanski@itc.rwth-aachen.de>
Date: Wed, 7 Aug 2024 12:12:11 +0200
Subject: [PATCH] Clean up outdated code
---
MBB.py | 16 ----------------
1 file changed, 16 deletions(-)
diff --git a/MBB.py b/MBB.py
index b873c191..97450579 100755
--- a/MBB.py
+++ b/MBB.py
@@ -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()
--
GitLab