search

tnelson / Forge

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

Fix restriction of "one" and "lone" quantification in Froglet #213

Open tnelson opened 1 year ago

tnelson commented 1 year ago

At the moment, these quantifiers are not producing their proper Froglet error messages.