Build Xen with CPROVER tools

simplify `extractbits_exprt` representation #9007

Sign in to view logs

Summary
Jobs
- CompileXen
Run details
- Usage
- Workflow file

Triggered via pull request March 19, 2024 22:43

kroening

synchronize #8246

extractbits-width

Status Success

Total duration 11m 31s

Artifacts –

build-and-test-Xen.yaml

on: pull_request