Skip to content
semgrep

Remove fixed malloc wrappers from svcomp conf #10917

Sign in to view logs

Remove fixed malloc wrappers from svcomp conf

Remove fixed malloc wrappers from svcomp conf #10917

Triggered via push October 4, 2024 07:23
@sim642sim642
pushed 30a2ace
svcomp25-no-mallocWrapper
Status Success
Total duration 44s
Artifacts –

semgrep.yml

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