Remove witness `exclude-vars` from svcomp conf #1832

Sign in to view logs

Triggered via pull request October 4, 2024 08:07

sim642

opened #1593

svcomp25-no-exclude-vars

Status Success

Total duration 4m 22s

Artifacts –

docs.yml

on: pull_request

Matrix: api-build