Report NotAnalyzedResult instead of UnprovableResult when analysis stops early#771

schuessf merged 1 commit into

devultimate-pa/ultimate:devfrom

wip/fs/not-analyzed-resultultimate-pa/ultimate:wip/fs/not-analyzed-resultCopy head branch name to clipboard