blob: 16fc37fd5783f72496230e07bafd58eb2fcac41b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/bash
function do_mkrulechecks()
{
echo "Do grep for rule checks..."
cat $1 | grep ruleChecks > temp-rc.txt
echo "Clean..."
sed -i $'s/[^[:print:]\t]//g' temp-rc.txt
sed -i 's/\[92m+ProofCheckerStatistics::ruleChecks, \[//g; s/)/\n/g; s/,//g; s/ (//g; s/(//g; s/]\[0m//g; s/ : /,/g' temp-rc.txt
sed -i '/^$/d' temp-rc.txt
echo "Aggregate..."
awk -F, '{a[$1]+=$2;}END{for(i in a)print i", "a[i];}' temp-rc.txt
rm temp-rc.txt
}
echo "Make regress with stats..."
make regress $@ CVC4_REGRESSION_ARGS=--stats >& temp.txt
do_mkrulechecks temp.txt
rm temp.txt
|
