dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Allow adding --enforce-determinism even when doing resolve

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

Description

Allow adding --enforce-determinism even when doing resolve, even though it currently has no effect then

How has this been tested?

Not

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

keyboardDrummer avatar Jul 18 '24 20:07 keyboardDrummer