Improve readability of global invariants · goblint/analyzer@ea029bc

Triggered via pull request December 15, 2023 08:41

sim642

opened #1294

printable-expand

Status Success

Total duration 15m 31s

Artifacts 1

coverage.yml

on: pull_request

Matrix: coverage

Produced during runtime

Name	Size
suite_result Expired	6.66 MB