Skip to content
Back to pull request #1375

Add option witness.invariant.typedefs #9409

Sign in to view logs

Add option witness.invariant.typedefs

Add option witness.invariant.typedefs #9409

Triggered via push March 4, 2024 13:50
@sim642sim642
pushed d561941
witness-invariant-typedef
Status Success
Total duration 39s
Artifacts –

semgrep.yml

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