diff --git a/benchmarks/run_profiling.sh b/benchmarks/run_profiling.sh index 789e8363749fb5a360fb5b5b1d18cac82a236a8c..68028ec5e4f19045faaa5b41726c21d8ed2f7365 100755 --- a/benchmarks/run_profiling.sh +++ b/benchmarks/run_profiling.sh @@ -10,7 +10,7 @@ for filename in benchmarks/profiling/*.py; do then echo "$fn" python benchmarks/profiling/"$fn".py prof/"$fn".pstats - gprof2dot --colour-nodes-by-selftime -f pstats prof/"$fn".pstats > prof/"$fn".dot + gprof2dot --colour-nodes-by-selftime -f pstats prof/"$fn".pstats -n 0.1 -e 0.02 > prof/"$fn".dot dot -Tsvg -o prof/"$fn".svg prof/"$fn".dot dot -Tpng -o prof/"$fn".png prof/"$fn".dot fi