strings.c File Reference

Go to the source code of this file.

Functions
void	bzero (void *s, __CPROVER_size_t n)

Function Documentation

bzero()

void bzero	(	void *	s,
		__CPROVER_size_t	n )

Definition at line 3 of file strings.c.