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

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 25s

Artifacts –

options.yml

on: pull_request

Matrix: validate-conf