C. Dunn wrote: > 1) No stack-trace on exceptions. > This makes contract programming a mere QA test, rather than a useful debugging tool. on windows you can use ddbg (http://ddbg.mainia.de) to get full stack-traces for all exceptions