blob: 0a057ff9bd6e265a18dc82451bf6394a7d1171a9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
asmdir=$1
to_cover_raw=/tmp/to_cover_raw
to_cover=/tmp/to_cover
covered_raw=/tmp/covered_raw
covered=/tmp/covered
sed -n "s/^.*fprintf oc \" \(.*\) .*/\1/p" ../../mppa_k1c/TargetPrinter.ml > $to_cover_raw
sed -n "s/^.*fprintf oc \" \(.*\)\\n.*/\1/p" ../../mppa_k1c/TargetPrinter.ml >> $to_cover_raw
python2.7 coverage_helper.py $to_cover_raw > $to_cover
rm -f $covered_raw
for asm in $(ls $asmdir/*.s); do
bash asm_coverage/asm-coverage.sh $asm >> $covered_raw
done
python2.7 coverage_helper.py $covered_raw > $covered
vimdiff $to_cover $covered
|
