Abort when Kore's simplifier throws DecidePredicateUnknown#392

rv-jenkins merged 12 commits into

mainruntimeverification/hs-backend-booster:mainfrom

georgy/branch-on-unknownruntimeverification/hs-backend-booster:georgy/branch-on-unknownCopy head branch name to clipboard