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
28
29

#!/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} clean

    make -C ${implem_dir} ${trace_type}
    cp ${implem_dir}/results/traces*.txt ${d}
done

tar czf results/${trace_type}.tgz -C ${d} .

rm -r ${d}

git apply --reverse ${patch}