@mv *.gcov coverage ; [ -f .gcov ] && mv .gcov coverage || true
@ awk '/NOTEST/ { next } /^ *[1-9]/ {ran+=1} /^ *###/ {skip+=1} \
END {printf "coverage: %6.2f%%\n", ran * 100 / (ran + skip); \
- if (ran < (ran + skip) *0.956) exit(1) }' \
+ if (ran < (ran + skip) *0.959) exit(1) }' \
coverage/oceani.mdc.gcov
@rm -f .tmp*
for i:=0; then i=i+1; while i < 5:
switch i:
case 0: num:="zero"
- case 1: num:="one"
+ case 1: scratch:=42; num:="one"
case 2: num:="two"
case 3: num:="three"
else num:="many"