#include <stdio.h>

extern int total_unnamed_nets;
extern int total_pin_connections;
extern int total_expl_noconnects;

stats_output()
{
	report_named_net_hash_quality();
	printf("Total unnamed nets: %d\n", total_unnamed_nets);
	printf("Total pin connections: %d\n", total_pin_connections);
	printf("Total NoConnect pins: %d\n", total_expl_noconnects);
}