Remove dynamic_cast from counterexample beautification code path #6362

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	31m 46s
Analyze (java)	15m 25s
Analyze (javascript)	14m 56s
Analyze (python)	15m 54s
	1h 18m 1s