Skip to content
semgrep

Do not unroll loops in goblint stub functions #10877

Sign in to view logs

Do not unroll loops in goblint stub functions

Do not unroll loops in goblint stub functions #10877

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

semgrep.yml

on: push
semgrep
28s
semgrep
Fit to window
Zoom out
Zoom in