Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion benchmarks/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ To add a new benchmark
1) Go to tests.v and add your benchmark program at the end of the file. The
top-level definition that is compiled should be defined in the file tests.v
(not just imported). Write command to compile both the LambdaANF and ANF versions
(otherwise the bencmarking automation will not work.
(otherwise the benchmarking automation will not work.

2) Create a file named <benchmark_name>_main.c to run the benchmark and print
the result
Expand Down