Add local widen/narrow example from A²I paper · goblint/analyzer@b1b710e

Triggered via push August 14, 2023 07:57

sim642

master

Status Success

Total duration 36m 39s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result Expired	5.88 MB