Add `-l EquationWarnings` and `warning` context in Booster

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework

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

208 stars 41 forks source link

Add `-l EquationWarnings` and `warning` context in Booster #3937

Closed geo2a closed 3 months ago

geo2a commented 3 months ago

Fixes #3927

This PR disables the display of the three equation-related warning in Booster by default. They can be re-enabled by the flag -l EquationWarnings, which is a shorthand to the context expression --log-context booster>(simplification *|function *)>warning.