[ library(test_util) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
+Goal should_raise +Event
Run the goal Goal and print a message if it doesn't raise Event.
Examples
number_string(hello,_) should_raise 5. % type error
See Also
should_give / 2, should_fail / 1, should_throw / 2, should_raise / 3, should_give / 3, should_fail / 2, should_throw / 3