new testing facility

[Thomas Beale-3]

I must say, this new testing facility is nice to use. Once Peter Gummer
convinced me to use it, I found it pretty easy to set up, and it is
certainly fast to run tests and debug. The debug facility is good - I
guess it is just a case of pre-setting a breakpoint and starting
execution from a specific point, but it saves time and that is great.

One question: I would have expected to be able to see individual
assertions displayed somewhere - I am probably just missing something at
the moment. My test routines have e.g. 10 assert() statements in them..

Nice job!

- thomas beale

[fivaarno]

Hi Thomas

Thanks for your motivating comments on the testing tool!

>
> One question: I would have expected to be able to see individual
> assertions displayed somewhere - I am probably just missing something at
> the moment. My test routines have e.g. 10 assert() statements in them..

I don't quite understand, do you mean statically listing assert invocations for a specific test or display all calls to `assert' after a test execution together with the runtime arguments?

Note that assert simply trigers a developer exception, which is identical to a assertion violation from a pre-/postcondition, invariant, etc. Therefore the success of a test can be manually checked through calling `assert', but also by using design by contract.

Regards,
Arno