Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!att!ulysses!andante!alice!ark
From: ark@alice.UUCP (Andrew Koenig)
Newsgroups: comp.lang.eiffel
Subject: Re: Eiffel vs. C++
Keywords: Assertions
Message-ID: <9464@alice.UUCP>
Date: 12 Jun 89 05:15:51 GMT
References: <807@batserver.cs.uq.oz>
Organization: AT&T Bell Laboratories, Liberty Corner NJ
Lines: 11

In article <807@batserver.cs.uq.oz>, bigm@batserver.cs.uq.oz (Michael Pilling [Real people drink purple milk]) writes:

>      A positive square root should be smaller than the input and
>      when squared should give the input.

Sometimes the code is right and the assertion is wrong.

For example, sqrt(0.25) should be 0.5
-- 
				--Andrew Koenig
				  ark@europa.att.com