Mark states with contradictions as dead#286

CaelmBleidd merged 1 commit into

mainUnitTestBot/usvm:mainfrom

caelmbleidd/state_alivenessUnitTestBot/usvm:caelmbleidd/state_alivenessCopy head branch name to clipboard