-
Notifications
You must be signed in to change notification settings - Fork 0
harris-azmon/Idris-benchmarks
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
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.
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published