Fix var_eq not limiting to queried lval invariants · goblint/analyzer@9e26114

Triggered via push November 3, 2023 10:34

sim642

witness-widen

Status Failure

Total duration 19m 16s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

2 errors

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
suite_result Expired	5.82 MB