Add test to show that our Miné with W should partition it by lockset · goblint/analyzer@e6277f8

Triggered via push November 1, 2024 09:43

sim642

mine-W-part-by-S

Status Success

Total duration 4m 41s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size
github-pages Expired	2.04 MB