Verification-condition-generation-based verifier for the Viper intermediate verification language.
Mozilla Public License 2.0
30
stars
21
forks
source link
Escape quotation marks in error messages in Boogie output #505
Closed
marcoeilers closed 8 months ago
This fixes #504