Fix widened CPA join losing widened variables · goblint/analyzer@820f1e5

Triggered via push November 6, 2023 11:46

sim642

witness-widen

Status Failure

Total duration 26m 46s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

2 errors

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
suite_result Expired	5.97 MB