git.iko.soy/Idris-dev
on master help sign in
Idris-dev/benchmarks/README
21 lines 536 B history raw
1Benchmarks
2----------
4To run:
6$ ./build.pl -- builds all benchmark binaries
7$ ./run.pl -- runs all benchmarks
9Adding a test
10-------------
12Add a line to the 'ALL' file of the following form:
14dir/main arg
16where 'dir' is the directory the benchmark lives in, 'main' is the name of the
17ipkg file and executable (these must be the same), 'arg' is the input to give
18to the binary.
20It is assumed that all benchmarks take exactly one argument, which helps to
21ensure that they are not simply doing all the work at compile time.