/benchtop

A web interface for Benchpress

Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause

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