Merge pull request #1588 from goblint/booldomain · goblint/analyzer@0deedb9

Triggered via push October 7, 2024 13:13

sim642

issue-1594

Status Success

Total duration 23m 26s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result-macos-13	2.69 MB
suite_result-ubuntu-latest	2.67 MB