PR# 16704 Violation in {HASH_TABLE}.valid_iteration_index

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelBase
Priority: Medium
Date: 2010/04/20
Class: Bug
Severity: Serious
Number: 16704
Release: 6.6.8.2858
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US) AppleWebKit/533.2 (KHTML, like Gecko) Chrome/5.0.342.9 Safari/533.2
Synopsis: Violation in {HASH_TABLE}.valid_iteration_index

Description
Enabling postconditions on EiffelBase while running EiffelStudio I got this strange post-condition violation while starting a pick and drop.
To Reproduce

										
Problem Report Interactions
From:manus_eiffel    Date:2010/04/20    Download   
Attachments for problem report #16704

Attachment: hash_table_violation.png     Size:142912