Experiment with unassume for mutex analysis · goblint/analyzer@3419341

Triggered via pull request March 20, 2025 08:17

sim642

opened #1715

unassume-mutex

Status Success

Total duration 25m 13s

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.84 MB	`sha256:614bd862dc2954376b47cdb408646587b9aef462c3313e0053f0250ecac612fa`
suite_result-ubuntu-22.04 Expired	2.82 MB	`sha256:4201c93d38da21bca123706b011133d7eb64a2d3cbf8dce8144accb9a55db5aa`