GitHub repository: mbeckersys/gnatprove_unitstats
Primary language: Python
Description: Python script generating a human- or machine-readable per-unit summary of GNATprove runs