verifier.c File Reference

Functions
void	__VERIFIER_nondet_memory (void *mem, __SIZE_TYPE__ size)

Function Documentation

__VERIFIER_nondet_memory()

void __VERIFIER_nondet_memory	(	void *	mem,
		__SIZE_TYPE__	size )