Skip to content

Conversation

RustanLeino
Copy link
Collaborator

This PR fixes a crash where a string literal in the input was being passed to a string format method that interpreted the string as a format string. Characters like unmatched {'s in that string had then caused a crash when error messages were printed.

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

@RustanLeino RustanLeino marked this pull request as ready for review June 17, 2025 00:19
@RustanLeino RustanLeino enabled auto-merge (squash) June 17, 2025 17:14
@RustanLeino RustanLeino merged commit 79dca0a into dafny-lang:master Jun 18, 2025
22 checks passed
@RustanLeino RustanLeino deleted the escape-string-literals-in-error-messages branch July 2, 2025 17:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants