Fix vojdani privatization unprotected invariant unsoundness on 56-wit… · goblint/analyzer@457bf48

Triggered via push January 13, 2025 15:53

sim642

Status Success

Total duration 20m 15s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.72 MB	`sha256:f7d448c4a8831d8304167cd429871f163663f547e78ea40bd7ef6a988516178a`
suite_result-ubuntu-22.04 Expired	2.7 MB	`sha256:91f82a46708cce075c8e889e0d89fe32a92ccb310aaab0a674bee7f581d03618`