Skip to content

Silence reporting when validating "lucky" models

Viktor Kuncak requested to merge github/fork/romac/silence-feeling-lucky into master

Created by: romac

Was the cause of https://github.com/epfl-lara/stainless/issues/277

Merge request reports