C. Dunn schrieb: > 1) No stack-trace on exceptions. > This makes contract programming a mere QA test, rather than a useful debugging tool. > Since I use flectioned, i have stack traces for exceptions and segmentation faults. I havn't tested it with DBC.