Improve stability analysis in CI

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

atomb commented 2 years ago

Analyze all Dafny files in src and test. The previous script mistakenly analyzed only Main.dfy.
Use Dafny 3.7.1 and /randomSeedIterations.