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

fix(tests/playground/Makefile): fix rbmap_shared input size

Browse source
This commit is contained in:
Sebastian Ullrich 2019-05-29 15:03:44 +02:00
parent 1ad692eb77
commit d082a7e42f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/playground/Makefile
View file

@ -101,7 +101,7 @@ bench/qsort.%.bench: BENCH_PARAMS = 400
bench/rbmap.%.bench: BENCH_PARAMS = 5000000
rbmap_shared.%.out: rbmap_checkpoint.%.out; ln -f $< $@
bench/rbmap_shared.%.bench: BENCH_PARAMS = 500000 1
bench/rbmap_shared.%.bench: BENCH_PARAMS = 5000000 1
rbmap_checkpoint_10.%.out: rbmap_checkpoint.%.out; ln -f $< $@
bench/rbmap_checkpoint_10.%.bench: BENCH_PARAMS = 5000000 10