KTEST parser This is a reimplementation of ktest-tool that is part of the toolbox of KLEE. See also the original implementation.