testsuite::ticket-754 - grng_seed not set correctly under certain circumstance
(ticket-754) run -> NEST exits if test fails
Ensure that all random number seeds in the kernel are set as expected.
Hans Ekkehard Plesser, 2013-06-25
/home/abuild/rpmbuild/BUILD/nest-2.20.git/testsuite/regressiontests/ticket-754.sli