Re: How to find note items associated with a ET_FUNCTION

--===============7382291841465294462==
Content-Type: multipart/alternative; boundary=089e01182b26ed872204d6109306

--089e01182b26ed872204d6109306
Content-Type: text/plain; charset=UTF-8

On 18 February 2013 17:21, Colin Adams <[email protected]> wrote:

> Having temporarily switched off invariant checking for the et_tools
> cluster, I now get a precondition violation:
>
> The value of an_int is 74440, which way exceeds the platform maximum of
> 255.
> The last_literal concerned is 0xFFFD.
>
> an_int_small_enough: PRECONDITION_VIOLATION raised (PRECONDITION_VIOLATION)
>
> And if I bypass the precondition check, then the postcondition fails.

--089e01182b26ed872204d6109306
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<br><br><div class=3D"gmail_quote">On 18 February 2013 17:21, Colin Adams <=
span dir=3D"ltr">&lt;<a href=3D"mailto:[email protected]" target=3D"=
_blank">[email protected]</a>&gt;</span> wrote:<br><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex">
<div class=3D"im">Having temporarily switched off invariant checking for th=
e et_tools cluster, I now get a precondition violation:</div><div class=3D"=
gmail_quote"><div>
<br></div><div>The value of an_int is 74440, which way exceeds the platform=
 maximum of 255.</div><div>The last_literal concerned is 0xFFFD.=C2=A0</div=
><div><br></div><div>an_int_small_enough: PRECONDITION_VIOLATION raised (PR=
ECONDITION_VIOLATION)</div>
<div class=3D"im">
<div><br></div></div></div></blockquote><div>And if I bypass the preconditi=
on check, then the postcondition fails.=C2=A0</div></div>

--089e01182b26ed872204d6109306--


--===============7382291841465294462==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_feb
--===============7382291841465294462==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gobo-eiffel-develop mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

--===============7382291841465294462==--