Skip to content
Build Xen with CPROVER tools

Remove dynamic_cast from counterexample beautification code path #9484

Sign in to view logs

Remove dynamic_cast from counterexample beautification code path

Remove dynamic_cast from counterexample beautification code path #9484

Triggered via pull request August 21, 2024 07:17
@tautschnigtautschnig
synchronize #8421
tautschnig:no-boolbv-dynamic_cast
Status Success
Total duration 21m 10s
Artifacts –

build-and-test-Xen.yaml

on: pull_request
CompileXen
21m 1s
CompileXen
Fit to window
Zoom out
Zoom in