GitHub repository: mchalupa/benchexec-results-viewer
Primary language: Python
Created: 2017-07-25T13:53:01Z
Description: Reimplementation of satt-frontend in python that should be easily integrable with benchexec