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

Triggered via push May 5, 2026 07:18

sim642

div-by-zero-invariant-2

Status Success

Total duration 5m 43s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

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