search

tnelson / Forge

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

Logging: anonymize paths in error outputs, print boring string on failure #196

Closed bennn closed 1 year ago

bennn commented 1 year ago

@tnelson