Build Xen with CPROVER tools

`bitvector_typet`: set width from mp_integer #9583

Sign in to view logs

Summary
Jobs
- CompileXen
Run details
- Usage
- Workflow file

Triggered via pull request September 28, 2024 17:25

kroening

synchronize #8477

bitvector_width_biginteger

Status Success

Total duration 20m 4s

Artifacts –

build-and-test-Xen.yaml

on: pull_request