/ktest-tool

Primary LanguagePython

KTEST parser

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