traces/collect-traces.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

#!/bin/bash

set -eu

trace_type=$1
patch=traces/${trace_type}.patch

# To update these patches:
# - add the tracing code you need to the source files
# - run "git diff src > traces/foo.patch"

d=$(mktemp -d)

git apply ${patch}

for makefile in $(find test -name Makefile)
do
    implem_dir=$(dirname ${makefile})
    make -C ${implem_dir} ${trace_type}
done

cp results/{i,ii}-{128,192,256}/${trace_type}-*.txt ${d}
tar czf results/${trace_type}.tgz -C ${d} .

rm -r ${d}

git apply --reverse ${patch}