Fix name of `modifiedSinceSetjmp` · goblint/analyzer@11516b1

Triggered via pull request December 1, 2023 19:25

opened #1280

fix_setjmpname

Status Success

Total duration 19m 1s

Artifacts 1

coverage.yml

on: pull_request

Matrix: coverage

Produced during runtime

Name	Size
suite_result Expired	6.82 MB