scenario math_rand_scenario

execution
trace: /var/opt/lsb/test/olver-core/2013-07-25_08-37-08/math_rand_scenario.utz (math_rand_scenario.utt)
start: Thu Jul 25 08:44:14 EDT 2013
end: Thu Jul 25 08:44:17 EDT 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 47: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 48: 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 50: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 51: Requirement failed: {initstate.07} shall return pointer to the previous state
failure 52: Requirement failed: {initstate.07} shall return pointer to the previous state
 6