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

Add `--allow-different-outcomes` flag #14

Closed atomb closed 2 years ago

atomb commented 2 years ago

This allows different outcomes for a single verification task, to allow for smoother migration from an unstable project to a stable project.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.