aku wrote: > Isn't it so, that by applying DBC, a lot of unittests can be > made redundant? How would you propose verifying that your code will work if you don't run tests before you ship? Don't say "manual testing"... -Peter