Test case to reproduce a postcondition violation in {DS_HASH_TABLE}.s…

…earch

After setting the key equality tester of a DS_HASH_TABLE, a call to `search'
will throw a postcondition violation:
found_set: found = has (k)

When digging a but futher, I can see that the postcondition of
{DS_SPARSE_CONTAINER}.search_position is also violated:
slots_position_set: slots_position = hash_position (k)

However, I don't know how to fix this bug...

test/structure/ds_test_hash_table.e

@@ -242,6 +242,7 @@ feature -- Test
 			a_table1.force_last (1, "one")
 			a_table1.force_last (2, "two")
 			assert ("not_has_void", not a_table1.has_void)
+			a_table1.search ("one")
 		end
 
 feature {NONE} -- Implementation