Skip to content

Report NotAnalyzedResult instead of UnprovableResult when analysis stops early#771

Merged
schuessf merged 1 commit into
devfrom
wip/fs/not-analyzed-result
Feb 3, 2026
Merged

Report NotAnalyzedResult instead of UnprovableResult when analysis stops early#771
schuessf merged 1 commit into
devfrom
wip/fs/not-analyzed-result

Introduce NotAnalyzedResult for CegarLoop

4efa07a
Select commit
Loading
Failed to load commit list.
Ultimate Jenkins CI / Ultimate CI succeeded Jan 27, 2026 in 3m 1s

Success

Details

  • Declarative: Tool Install (2.3 sec)
    • Checkout (1 min 18 sec)
    • Check environment (4.8 sec)
    • Build and run basic tests (1 min 32 sec)