deferred class EIFFELTEST_TOOLS

All features

Just insert class EIFFELTEST_TOOLS in your TEST_* class. See also command eiffeltest.

Direct parents

non-conformant parents

ANY

Summary

exported features

Details

assert (test: BOOLEAN)

Check that test is actually True. If test is True, nothing happens except that the assert_counter is incremented by one. When test is False, an error message is printed on std_output and an sedb_breakpoint allow you to find out what is wrong (assuming you are using the -sedb debugger).

assert_counter: COUNTER

Unique once COUNTER used to count assert calls.