Downgrade known unsound SV-COMP safe targets to unknown - #42

Downgrade known unsound SV-COMP safe targets to unknown#42

k0lja wants to merge 1 commit into

devSWAT-project/SWAT:devfrom

issue/wrong-verdict-albers-pie-segment-swat-fixSWAT-project/SWAT:issue/wrong-verdict-albers-pie-segment-swat-fixCopy head branch name to clipboard