Skip to content
semgrep

Remove witness exclude-vars from svcomp conf #10919

Sign in to view logs

Remove witness exclude-vars from svcomp conf

Remove witness exclude-vars from svcomp conf #10919

Triggered via push October 4, 2024 08:02
@sim642sim642
pushed 50b0bdd
svcomp25-no-exclude-vars
Status Success
Total duration 41s
Artifacts –

semgrep.yml

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