Fix subtle bug where we would treat a tool run as both "all-crashes" and "all-timeouts".
Fix subtle bug where we would treat a tool run as both "all-crashes"
and "all-timeouts".

delcypher/klee-runner,delcypher/klee-runner