Skip to content

Witch 4: SV-COMP 2026

Pre-release
Pre-release

Choose a tag to compare

View all tags
@ayazip ayazip released this 24 Nov 11:45
· 3 commits to witch-klee since this release
svcomp26
ffc643d

Release of Witch 4 for SV-COMP 2026. Compared to version 3.1, it includes several bugfixes, features for cooperation with Goblint, and support for validating non-termination witnesses.

Assets 2
Loading