Remove `warn_and_top_on_zero` from `BaseInvariant` for division by zero · goblint/analyzer@c59bd87

Triggered via pull request May 5, 2026 07:29

sim642

opened #2016

div-by-zero-invariant-2

Status Success

Total duration 4m 28s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.5 MB	`sha256:0b34758ec12e3afa2652506f69a5d299d65f477b31f448f1837f19c454275fb0`