semgrep

Make sem.malloc.* explicit in svcomp confs #13157

Sign in to view logs

Triggered via push November 28, 2025 10:13

sim642

svcomp-conf-explicit-malloc-fail

Status Success

Total duration 48s

Artifacts –

semgrep.yml

on: push