clean.bash

#!/usr/bin/env bash

set -eu

sed \
    -e '/rustc/d' \
    -e '/result/d' \
    -e '/running/d' \
    -e '/^$/d' \
    -e 's/test bench_//' \
    -e 's/... bench://' \
    -e 's@ns/iter.*@@' \
    -e 's/,//' \
    -e 's/  */, /g' \
    | awk '/^1.*/ { vers = $0; next } { print $0 vers }'

generate-graph.r

require(ggplot2)

times = read.csv('/tmp/raw-data.csv', header = F, col.names = c("Test", "Time", "Version"))

plt = ggplot(times, aes(x = Version, y = Time, colour = Test))

pretty = plt + scale_y_continuous(limits = c(0, max(times$Time) * 1.1)) + geom_boxplot() + labs(y = "Time (ns)")

ggsave('/tmp/graph.png', width = 16, height = 9, dpi = 144)