Svcomp witness file must be named witness.graphml (new rule) #1917
Triggered via pull request
November 11, 2023 20:38
hernanponcedeleon
Status
Success
Total duration
44m 30s
Artifacts
–