dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Resolved a crash that would occur when using a match statement inside…

Open keyboardDrummer opened this issue 1 year ago • 0 comments
trafficstars

Fixes #5671

Description

Resolved a crash that would occur when using a match statement inside an assert by block

How has this been tested?

Added a CLI test

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

keyboardDrummer avatar Aug 07 '24 12:08 keyboardDrummer