[gobo-eiffel-develop] post condition violation with KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER

[Berend de B. <be...@po...>]

Hi Eric,

I just switched a KL_STRING_EQUALITY_TESTER to
KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER and got a postcondition
violation.

Part of the stack trace:

DS_HASH_TABLE       search_position @35    slots_position_set:
<00007FF1A127DE08>  (From DS_SPARSE_CONTAINER)
                                           Postcondition violated.       Fail
-------------------------------------------------------------------------------
DS_HASH_TABLE       search_position @35
<00007FF1A127DE08>  (From DS_SPARSE_CONTAINER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
DS_HASH_TABLE       has @1
<00007FF1A127DE08>  (From DS_SPARSE_TABLE) Routine failure.              Fail
-------------------------------------------------------------------------------
EPX_MIME_HEADER     has @2
<00007FF1A127DD48>                         Routine failure.              Fail
-------------------------------------------------------------------------------


Doesn't make much sense. to me, but in case something pops in your
head, let me know, else I may try to come up with a program that
repeats this.

This is the code that creates the structure:

      local
        fields: DS_HASH_TABLE [EPX_MIME_FIELD, STRING]
        equality_tester: KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER
      do
  			create fields.make (64)
  			create equality_tester
	  		fields.set_key_equality_tester (equality_tester)
        ....
        if fields.has ("ST) then
          ...
        end
      end

--
All the best,

Berend de Boer