Published November 12, 2026
| Version v2
Software
Open
Witness2test-match SV-COMP 2027
Description
This archive contains the executable for the witness validator witness2test-match, submitted to the 16th Competition on Software Verification (SV-COMP).
witness2test-match is a tool that turns SV-COMP violation witnesses (format v2) into executable tests that, when compiled and run, reproduce the violation described by the witness.
Files
witness2test-match-85919c4.zip
Additional details
Software
- Repository URL
- https://github.com/lembergerth/witness2test-match
- Programming language
- Go
- Development Status
- Active