Published December 20, 2025
| Version svcomp26
Software
Open
wit4java: A Tool to Validate Java Violation Witnesses (svcomp26)
Description
This archive is based on wit4java, v2, 2025-11-18.
The only change is to remove the folder "output/" and the file "witness.graphml" from the archive.
Files
wit4java-validate-violation-witnesses-v1.zip
Files
(4.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a0fd60cb93627314082e61769ddec2e6
|
4.3 MB | Preview Download |