async_wrapper
6.01 KB
-
Ensure async terminates when time limit is not divisible by 5 · 723af8c3
Because async_wrapper subtracts 5 from time_limit and checks for equality to zero, values not divisible by 5 will go negative and continue forever.
willthames committed