Remove the code that handles redirecting the GHC eventlog into a file

runtimeverification / hs-backend-booster

Accelerates K Framework's Haskell backend

BSD 3-Clause "New" or "Revised" License

7 stars 0 forks source link

Closed geo2a closed 8 months ago

geo2a commented 8 months ago

This functionality is not useful, and can be implemented on top of the JSON-logging infrastructure introduced in #516