The format for error messages is described below in a separate section. Section C Finally, Section C contains some statistics for the entire run. The output also includes the reason for run termination. Here is a brief explanation for each column of the run-time stats output. 2.2 Error message format Individual errors, warnings, and other run-time messages are explained elsewhere .
Polygraph counts all errors it detects.
However, Poly uses an exponential back-off algorithm when reporting errors on the console. Source code location if available. Number of errors of this type so far. Total number of errors so far. The code corresponds to the errno value on your machine.