Benchtop

An alternative web interface for Benchpress

License: BSD.

Usage

benchtop [--interface=INTERFACE] [--log[=LOG_LEVEL]] [--port=PORT] [OPTION]

Roadmap to the first release

• Improve navigation between pages
• Adding an action to kill benchpress
• Displaying progress information during the benchmarks
• Adding a page listing available tests
• Custom config for benchpress
• Running again selected tests
• Cleaning up and writing documentation
• Git support
• Support for other SMT solvers