initstate_spec() coverage

specification InitstateReturnType *initstate_spec( CallContext context, UIntT seed, IntT size )

coverages	branches	failures	hits/fails
C	size < 8: unsuccessful case	failure 24: Requirement failed: {initstate.11} if size<8 shall return NULL failure 26: Requirement failed: {initstate.11} if size<8 shall return NULL failure 28: Requirement failed: {initstate.11} if size<8 shall return NULL	3/3
	8 <= size < 32: simple linear congruential random number generator	failure 25: Requirement failed: {initstate.07} shall return pointer to the previous state failure 27: Requirement failed: {initstate.07} shall return pointer to the previous state failure 29: Requirement failed: {initstate.07} shall return pointer to the previous state	12/3
	32 <= size < 64: size 32 non-linear additive feedback random number generator		12
	64 <= size < 128: size 64 non-linear additive feedback random number generator		12
	128 <= size < 256: size 128 non-linear additive feedback random number generator		25
	size >= 256: size 256 non-linear additive feedback random number generator		9
	100% (6/6)		73/6