Skip to content

perf-test: add -W/--witness-check to validate SV-COMP witness checking

a47941d
Select commit
Loading
Failed to load commit list.
Merged

Performance test extensions and updates #2014

perf-test: add -W/--witness-check to validate SV-COMP witness checking
a47941d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs