tnelson / Forge

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

logging: beware of read failures #270

Closed bennn closed 3 months ago

bennn commented 3 months ago

This program was an error because the logging setup called read and would die if it ever saw a #lang:

#lang forge/temporal

// #lang froglet

Use with-handlers to avoid.

bennn commented 3 months ago

closes #269