Re: Postcondition violation in {DS_HASH_TABLE}.search

Eric Bezault <ericb-D6Qt/9opevxWk0Htik3J/[email protected]> Sun, 09 Jun 2013 21:40:12 +0200

Newsgroups	gmane.comp.lang.eiffel.gobo.general
Message-ID	<[email protected]>

On 5/3/2013 3:42 PM, olivier.ligot wrote:
> Just to let you know that I've found a postcondition violation in {DS_HASH_TABLE}.search.
>
> I've opened an issue on Github with a test case on how to reproduce it:
> https://github.com/gobo-eiffel/gobo/issues/6

Fixed.

-- 
Eric Bezault
mailto:ericb-D6Qt/9opevxWk0Htik3J/[email protected]
http://www.gobosoft.com


------------------------------------

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected]! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/gobo-eiffel/join
    (Yahoo! ID required)

<*> To change settings via email:
    [email protected] 
    [email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/