[ library(test_util) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

should_throw(+Goal,+Exception,+TestName)

Run the goal Goal and print a message if it doesn't throw Exception

Examples

    should_throw(exit_block(ball),ball,test_exit_block).

See Also

should_give / 2, should_fail / 1, should_raise / 2, should_throw / 2, should_give / 3, should_fail / 2, should_raise / 3