summaryrefslogtreecommitdiff
path: root/src/benchmark
AgeCommit message (Collapse)Author
2016-05-30adding --pool-size option to benchmark,Marcello Stanisci
correcting comments
2016-05-30benchmark makefileMarcello Stanisci