dafny-lang / dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3 stars 4 forks source link

Initial version of dafny-reportgenerator tool #1

Closed robin-aws closed 2 years ago

robin-aws commented 2 years ago

Minimal implementation of a single command, summarize-csv-results, which merges the rows from all CSV files provided and fails (i.e. gives a non-zero exit code) if any verification results are over any configured maximum duration and/or resource count.