Add documentation for `--max-*-stddev` in README

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

Closed atomb closed 2 years ago