3 ms·Eiffel has design by contract build in, as does D.by tomjen3 10y agoEiffel has design by contract build in, as does D.vram22 10y agoD also has unit testing built in. IIRC, they do mention a limitation or two.