diff --git a/MBB.py b/MBB.py
index b873c1919c9d656267bcffe098f2361112c5ff68..97450579f0c7b4a15f41fb3153cb2db885064c4f 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()