tag:blogger.com,1999:blog-8972783911534754044.post6237621163914195178..comments2023-08-21T10:24:10.591+02:00Comments on Liberty Eiffel: Overflow and correctnessAnonymoushttp://www.blogger.com/profile/03026537587693318231noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-8972783911534754044.post-26028097793861895892011-09-27T03:11:54.183+02:002011-09-27T03:11:54.183+02:00Well, SmartEiffel's philosophy has always been...Well, SmartEiffel's philosophy has always been, use -boost only on a program proven correct (otherwise the behaviour is not specified).<br /><br />As you correctly noted, there are assertions in the library to protect overflows.Cyril Adrianhttps://www.blogger.com/profile/05915629514665711947noreply@blogger.com