tnelson / Forge

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

flush logs at toplevel #177

Closed bennn closed 1 year ago

bennn commented 1 year ago

todo

bennn commented 1 year ago

Tests passed. When I run a file a that opens a file b that opens another file c, 3 logs appear in the DB.

tnelson commented 1 year ago

Need script or Racket func to invoke that will wipe out local log cache.