initstate_spec() coverage
specification InitstateReturnType *initstate_spec( CallContext context, UIntT seed, IntT size )
coverages
branches
failures
hits/fails
C
size < 8: unsuccessful case
failure 47: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 49: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 51: Requirement failed: {initstate.07} shall return pointer to the previous state
3/
3
8 <= size < 32: simple linear congruential random number generator
failure 48: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 50: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 52: 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