tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

Fixing issue with to-smt visitor; refactor lang-specific error code #267

Closed tnelson closed 3 months ago