A simple interpreter-based violation witness validator for C code.
Primary LanguageC++OtherNOASSERTION