ktest-parser (cargo): Parse KTest binaries (.ktest)
Keywords: ktest|klee