Skip to content
Back to pull request #8421

Remove dynamic_cast from counterexample beautification code path #636

Sign in to view logs

Remove dynamic_cast from counterexample beautification code path

Remove dynamic_cast from counterexample beautification code path #636

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

performance.yaml

on: pull_request
perf-benchcomp
43m 8s
perf-benchcomp
Fit to window
Zoom out
Zoom in