Version 1.2: Some bug fixes to test-suite validator. Test-suite validator: * prints coverage information on abnormal termination/kill, not only on regular termination. * collects coverage information for program executions that end in an abort * allows empty test-cases (test cases without any inputs)