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

+Goal should_give +CheckGoal

Run the goal Goal and print a message if the result doesn't satisfy CheckGoal

Examples

X is 3.0+4 should_give X=7.0.

See Also

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