/learning-errors

Abstractly represent software error traces as finite automata.

Primary LanguageC++

Stargazers