Add option witness.invariant.all-locals that can be turned off to onl… · goblint/analyzer@bde0b99

Triggered via push February 10, 2024 15:50

issue_1361

Status Success

Total duration 20m 31s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result-macos-latest Expired	2.43 MB
suite_result-ubuntu-latest Expired	2.41 MB