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

Triggered via pull request January 13, 2025 16:02

sim642

opened #1656

Status Success

Total duration 26m 27s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.77 MB	`sha256:69b0052918d622716e094b97bc8822684d3713a06e76a49a814ada8851f93286`
suite_result-ubuntu-22.04 Expired	2.71 MB	`sha256:d6b8fcf1dd325e721c97d2aa21cc59cd96d3853ae894b191332239d539b02167`