Remove witness exclude-vars from svcomp conf#1593

sim642 merged 1 commit into

mastergoblint/analyzer:masterfrom

svcomp25-no-exclude-varsgoblint/analyzer:svcomp25-no-exclude-varsCopy head branch name to clipboard