Skip to content

Files

Latest commit

author
Paul Koerbitz
Apr 19, 2014
1915d38 · Apr 19, 2014

History

History
This branch is 13 commits ahead of, 5582 commits behind idris-lang/Idris-dev:master.

benchmarks

Benchmarks
----------

To run:

$ ./build.pl   -- builds all benchmark binaries
$ ./run.pl     -- runs all benchmarks

Adding a test 
-------------

Add a line to the 'ALL' file of the following form:

dir/main   arg

where 'dir' is the directory the benchmark lives in, 'main' is the name of the
ipkg file and executable (these must be the same), 'arg' is the input to give
to the binary. 

It is assumed that all benchmarks take exactly one argument, which helps to
ensure that they are not simply doing all the work at compile time.