Remove dynamic_cast from counterexample beautification code path #8823

Sign in to view logs

Triggered via pull request August 21, 2024 07:17

tautschnig

synchronize #8421

tautschnig:no-boolbv-dynamic_cast

Status Success

Total duration 14m 9s

Artifacts –

csmith.yaml

on: pull_request

run-10-random-tests