scenario math_rand_scenario

execution
trace: /var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_rand_scenario.utz (math_rand_scenario.utt)
start: Mon Jan 21 10:27:56 EST 2013
end: Mon Jan 21 10:27:58 EST 2013
Product Name: CTESK
Product Build: 20090917
Host: localhost.localdomain
arch: ia32
Product Version: 2.7.287
Operating System: Linux 3.6.10-4.fc18.i686.PAE
failuresfails
failure 54: Requirement failed: {initstate.11} if size<8 shall return NULL
failure 55: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 56: Requirement failed: {initstate.11} if size<8 shall return NULL
failure 57: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 58: Requirement failed: {initstate.11} if size<8 shall return NULL
failure 59: Requirement failed: {initstate.07} shall return pointer to the previous state
 6