Move is_null_pointer to constant_exprt #6422

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	46m 9s
Analyze (java)	15m 4s
Analyze (javascript)	14m 27s
Analyze (python)	15m 32s
	1h 31m 12s