autocheck load db formal_lint_out/autocheck_verify.db
source ../../proc_dumpAutoCheckSummary.tcl
dumpAutoCheckSummary formal_lint.rpt
exit