Fix Vojdani privatization `invariant_global` · goblint/analyzer@457bf48

Triggered via pull request January 13, 2025 16:02

sim642

opened #1656

Status Success

Total duration 4m 39s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.13 MB	`sha256:b6e85b2091788c4f9aa799012487bdea6022473157cdc97da5953fc292c58263`