Unify current_loc with backtrace marks for global initializers · goblint/analyzer@d6cef91

Triggered via push September 19, 2025 07:20

sim642

bitfield-z-overflow

Status Success

Total duration 22m 40s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.97 MB	`sha256:4e639e767dd9f82df2aba852454aa2f4d67458170dcc632d5c442e47c557a022`
suite_result-ubuntu-22.04 Expired	2.99 MB	`sha256:51be509684b4242726be6e558b51ebd22a58ef3dbea7528de4e4ce0da675b186`