Tests: Prevent test script from crashing when a test is killed due to a timeout
Tests: Prevent test script from crashing when a test is killed due to a timeout

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer