blob: dcad0d0b1028209947a7e1577e579b961d2f9af4 [file]
#!/bin/bash
LOG_FILE="$1"
if [ -d "$LOG_FILE" ]; then
LOG_FILE="$LOG_FILE/log"
fi
record="$(
while read line; do
case_name="$(echo "$line" | grep -Poi 'case: \K\w+')"
c_time="$(echo "$line" | grep -Poi 'time: \K[\d.]+')"
c_succ="$(echo "$line" | grep -Poi 'succeeded: \K(true|false)')"
if [ "x$case_name" != 'x' ]; then
echo "$case_name" "$c_time" "$c_succ"
fi
done <"$LOG_FILE"
)"
echo "$record" | FS='\t' awk 'BEGIN {
i = 0;
} {
case_name=$1;
c_time=$2;
c_succ=$3;
if (c_succ != "true") {
c_time = 999;
}
if (!(case_name in m) || m[case_name] * 1.0 > c_time * 1.0) {
if (!(case_name in m)) {
c[i++] = case_name;
}
m[case_name] = c_time;
}
} END {
for (z = 0; z < i; z++) {
t = m[c[z]];
sum += t;
print(c[z], t);
}
print("total:", sum);
}'