Simplify witness invariants for bitfield domain · goblint/analyzer@e031370

Triggered via pull request January 5, 2026 08:12

sim642

synchronize #1897

Status Success

Total duration 4m 38s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

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