analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Remove division by zero error message during base `invariant`

Open sim642 opened this issue 3 weeks ago • 2 comments

Discovered in https://github.com/goblint/analyzer/pull/1838#discussion_r2571447038. Should be redundant due to #1764. Especially because this only trigger for must division by zero, not may.

It's strange because it's the only warning/error emitted during base invariant.

TODO

  • [ ] Is the top-ification even necessary/useful then?

sim642 avatar Dec 03 '25 08:12 sim642