Improve readability of global invariants · goblint/analyzer@dceb4be

Triggered via pull request December 15, 2023 08:56

sim642

synchronize #1294

printable-expand

Status Success

Total duration 12m 28s

Artifacts 1

coverage.yml

on: pull_request

Matrix: coverage

Produced during runtime

Name	Size
suite_result Expired	6.66 MB