Build Xen with CPROVER tools

Mark constant_exprt::value_is_zero_string protected #9548

Sign in to view logs

Summary
Jobs
- CompileXen
Run details
- Usage
- Workflow file

Triggered via pull request September 13, 2024 15:49

tautschnig

opened #8455

tautschnig:protect-value_is_zero_string

Status Failure

Total duration 2m 23s

Artifacts –

build-and-test-Xen.yaml

on: pull_request

Annotations

1 error

Process completed with exit code 2.