chart_perf.sh

#!/usr/bin/env bash
set -x
HERE=$(cd "$(dirname $0)" && pwd)

# Simple script to plot the performance regression between different testruns in Liquidhaskell.
# It requires gnuplot.

# $1 = before.csv
# $2 = after.csv

cat $1 | tail -n +5 > before.csv
cat $2 | tail -n +5 > after.csv

paste before.csv after.csv > combined.csv

gnuplot -p -e "csv_1='before.csv';csv_2='after.csv';csv_3='combined.csv'" "$HERE/perf.gnuplot"