This is an old revision of the document!

EiffelCode Simple Mode Quick Demo (DbC)

EiffelCode Simple Mode Demo (Design by Contract)

<iframe width="560" height="315" 
src="https://youtu.be/eCVraeBKgiQ" 
frameborder="0" allow="accelerometer; autoplay; 
encrypted-media; gyroscope; picture-in-picture" 
allowfullscreen>
</iframe>