search

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

Fix terminology: CV = coefficient of variation #16

Closed atomb closed 2 years ago

atomb commented 2 years ago

It's not "coefficient of variance". Fortunately, this just changes messages and help text, not command-line options.