GitHub repository: staticafi/mamato
Primary language: Python
Description: View and browse results from benchexec