Abstractly represent software error traces as finite automata.
Primary LanguageC++
No issues in this repository yet.