Add command to enforce minimum testing coverage

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

Open robin-aws opened 2 years ago