Build Xen with CPROVER tools

Replace add_axioms_for_is_empty body with length(s) == 0 form #11416

Sign in to view logs

Triggered via pull request June 9, 2026 18:46

tautschnig

synchronize #8915

tautschnig:fix-8019-add_axioms_for_is_empty

Status Success

Total duration 26m 22s

Artifacts –

build-and-test-Xen.yaml

on: pull_request