fixed timed check_output not killing klee correctly (PYTHON BUG)
fixed timed check_output not killing klee correctly (PYTHON BUG)

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

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