Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
44 lines (28 sloc) 799 Bytes

gtp-measure

Build Status Scribble

For benchmarking.

The idea is to:

  1. Have a plan of what to run
  2. Divide the plan into sub-tasks
  3. Recover when things go wrong (not implemented)

See the documentation for the details.

Usage

To start benchmarking <TARGET> with the default settings, or continue an interrupted run:

$ raco gtp-measure <TARGET>

To resume a previously-stopped task:

$ raco gtp-measure --resume <DATA-DIR>

For more:

$ raco gtp-measure --help

History

https://github.com/nuprl/gradual-typing-performance?path=tools/benchmark-run