func verifyPanic() {
	if coverTest.Count[panicIndex-1] != 1 {
		fmt.Fprintf(os.Stderr, "bad before panic")
		PASS = false
	}
	if coverTest.Count[panicIndex] != 0 {
		fmt.Fprintf(os.Stderr, "bad at panic: %d should be 0\n", coverTest.Count[panicIndex])
		PASS = false
	}
	if coverTest.Count[panicIndex+1] != 1 {
		fmt.Fprintf(os.Stderr, "bad after panic")
		PASS = false
	}
}
verifyPanic is a special check for the known counter that should be
after the panic call in testPanic.
package main
import (
	"fmt"
	"os"
)
func main() {
	testAll()
	verify()
}
type block struct {
	count uint32
	line  uint32
}
var counters = make(map[block]bool)
func check(line, count uint32) {
	b := block{
		count,
		line,
	}
	counters[b] = true
}
func checkVal(line, count uint32, val int) int {
	b := block{
		count,
		line,
	}
	counters[b] = true
	return val
}
var PASS = true
func verify() {
	for b := range counters {
		got, index := count(b.line)
		if b.count == anything && got != 0 {
			got = anything
		}
		if got != b.count {
			fmt.Fprintf(os.Stderr, "test_go:%d expected count %d got %d [counter %d]\n", b.line, b.count, got, index)
			PASS = false
		}
	}
	verifyPanic()
	if !PASS {
		fmt.Fprintf(os.Stderr, "FAIL\n")
		os.Exit(2)
	}
}