fixed a deadlock bug due to an exception thrown when klee failed and didn't create an outdir
fixed a deadlock bug due to an exception thrown when klee failed and didn't create an outdir

Signed-off-by: Fabian Kilger <c0913f38a53a98eaffa013be60b99c215039c622@cssbook.de>

tum-i22/macke,tum-i22/macke,tum-i22/macke