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
/var/www/debian/nest/nest-simulator-2.20.0/testsuite/regressiontests/ticket-754.sli