diff --git a/bin/regression-wally b/bin/regression-wally index 15643a70d..643787adc 100755 --- a/bin/regression-wally +++ b/bin/regression-wally @@ -534,6 +534,7 @@ def main(): try: num_fail+=result.get(timeout=TIMEOUT_DUR) except TimeoutError: + pool.terminate() num_fail+=1 print(f"{bcolors.FAIL}%s: Timeout - runtime exceeded %d seconds{bcolors.ENDC}" % (config.cmd, TIMEOUT_DUR))