Use access events in MemOutOfBounds analysis · goblint/analyzer@bf7daff

Triggered via pull request May 8, 2026 10:52

karoliineh

opened #2027

oob-event

Status Success

Total duration 4m 38s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.52 MB	`sha256:866789f83b629ebbfcd8b6b66f8c8f1d7d29d2c7b3e94f538827a7da23fde2d6`