Skip to content
semgrep

Merge pull request #1592 from goblint/svcomp25-no-mallocWrapper #10922

Sign in to view logs

Merge pull request #1592 from goblint/svcomp25-no-mallocWrapper

Merge pull request #1592 from goblint/svcomp25-no-mallocWrapper #10922

Triggered via push October 5, 2024 12:54
@sim642sim642
pushed 4acdae5
master
Status Success
Total duration 37s
Artifacts –

semgrep.yml

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