Add example where autotuner crashed when trying to activate congruenc… · goblint/analyzer@9b954b5

Triggered via push November 23, 2023 14:00

jerhard

Status Success

Total duration 37m 19s

Artifacts 1

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size
suite_result Expired	6.8 MB