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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf-benchcomp
43m 8s
43m 8s