Reimplementation of satt-frontend in python that should be easily integrable with benchexec
The main script is brv.py.
To import benchexec results to database for viewing:
./brv.py [FILE.xml]
To start a webserver at http://localhost:3000 that displays results from database:
./brv.py
The easiest way to install dependencies is:
pip install -r requirements.txt