Build Xen with CPROVER tools

simplify `extractbits_exprt` representation #9006

Sign in to view logs

Summary
Jobs
- CompileXen
Run details
- Usage
- Workflow file

Triggered via pull request March 19, 2024 21:35

kroening

synchronize #8246

extractbits-width

Status Success

Total duration 12m 33s

Artifacts –

build-and-test-Xen.yaml

on: pull_request