Sparsification of Affine Equality Matrix · goblint/analyzer@3d1b152

Triggered via pull request February 24, 2025 17:40

sim642

synchronize #1625

Status Success

Total duration 23m 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.82 MB	`sha256:58e266fdaa6feb470b94ef6f707e31cd339294823c362270ee8c31fd797c160d`
suite_result-ubuntu-22.04 Expired	2.81 MB	`sha256:42ac8755e38d07962f9f9c0ecf137ac58f6150aa615060338943635bed4ec189`