max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(tests/playground/Makefile): benchmark scaling

Browse source
This commit is contained in:
Sebastian Ullrich 2019-05-28 19:12:26 +02:00
parent f25669666b
commit bebbb8413e
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
tests/playground/Makefile
View file

@ -96,15 +96,15 @@ bench/frontend.%.bench: BENCH_PARAMS = --new-frontend frontend_test.lean
bench/binarytrees.%.bench: BENCH_PARAMS = 21
bench/qsort.%.bench: BENCH_PARAMS = 250
bench/qsort.%.bench: BENCH_PARAMS = 400
bench/rbmap.%.bench: BENCH_PARAMS = 7000000
bench/rbmap.%.bench: BENCH_PARAMS = 5000000
rbmap_shared.%.out: rbmap_checkpoint.%.out; ln -f $< $@
bench/rbmap_shared.%.bench: BENCH_PARAMS = 500000 1
rbmap_checkpoint_10.%.out: rbmap_checkpoint.%.out; ln -f $< $@
bench/rbmap_checkpoint_10.%.bench: BENCH_PARAMS = 2000000 10
bench/rbmap_checkpoint_10.%.bench: BENCH_PARAMS = 5000000 10
bench/unionfind1.%.bench: BENCH_PARAMS = 3000000
bench/unionfind2.%.bench: BENCH_PARAMS = 3000000