Fix some questionable invariants in SV-COMP 2025 witnesses · goblint/analyzer@4d8781a

Triggered via pull request October 9, 2025 13:49

sim642

synchronize #1818

issue-1722

Status Success

Total duration 5m 33s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.47 MB	`sha256:efb493cf0857987d39d7e27abd0edeb4616479705e16c9a27f4ce3348bbbfc4a`