Add flag `AnalysisState.executing_speculative_computations` to avoid flagging overflows during `invariant`

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Closed michael-schwarz closed 2 months ago

michael-schwarz commented 3 months ago

As discussed in #1296

michael-schwarz commented 3 months ago

The question is whether we should undo #1406 in light of this more general solution.

sim642 commented 3 months ago

The dune promotion stuff may have been due to trailing whitespace removal which should be disabled for .t files.