testsuite::ticket-507 - Ensure that spike_detector throws exception on SetStatus if off-grid times are set
(ticket-507) run -> NEST exits if test fails
Ensure that spike_detector throws exception on SetStatus if off-grid times are set,
unless precise_times is set.
Hans Ekkehard Plesser, 2011-03-18
/home/abuild/rpmbuild/BUILD/nest-2.16.git/testsuite/regressiontests/ticket-507.sli