int main()

in regression/analysis/cprover-analysis/main.c [29:46]


int main(int argc, char **argv )
{
	char uninitialized_buffer [16];

	if (argc < 2 ) return 0;

	char *text = argv[1];
	if (argc > 1 && argc % 2) {
		printf("use uninit buffer\n");
		text = uninitialized_buffer;
	}

	char *lower = to_lower( text );
	printf( "sequence %d: %s\n", 0, text );
	printf( "sequence %d: %s\n", 1, lower );

	return 0;
}