Skip to content
indentation

Do not unroll loops in goblint stub functions #11209

Sign in to view logs

Do not unroll loops in goblint stub functions

Do not unroll loops in goblint stub functions #11209

Triggered via push September 28, 2024 20:58
@karoliinehkaroliineh
pushed 31c474c
loopUnroll-stubs
Status Skipped
Total duration 2s
Artifacts –

indentation.yml

on: push
Matrix: indentation
Fit to window
Zoom out
Zoom in