/*
 *  test_lazyhandler.sli
 *
 *  This file is part of NEST.
 *
 *  Copyright (C) 2004 The NEST Initiative
 *
 *  NEST is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  NEST is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with NEST.  If not, see <http://www.gnu.org/licenses/>.
 *
 */

/* BeginDocumentation
Name: testsuite::test_lazyhandler - test if SLI returns exit code 0 when an error is handled by a lazy user error handler.

Synopsis: (test_lazyhandler) run -> 

Description:
This script establishes a user error handler and then provokes an
error. The error handler does NOT reset errodict::newerror to false. 
This is wrong behaviour, but it is no error that normally prevents
execution of the script. Although this is strictly speaking a
programming error, NEST should pass this scipt and return exit code 0.

Author: Ruediger Kupper

FirstVersion: 03-jul-2008

SeeAlso: testsuite::test_pass, testsuite::test_fail, testsuite::test_stop, testsuite::test_goodhandler,  testsuite::test_lazyhandler, testsuite::test_badhandler
*/

% provoking an error with a lazy error handler:
{1 /hello add} stopped {} if