Remove custom `default` function from `arrayDomain` · goblint/analyzer@5da3024

Triggered via push February 18, 2025 19:13

option_cleanup

Status Success

Total duration 26m 3s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime