post condition violation with KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER

--===============7743532502451919042==
Content-Type: multipart/signed;
	boundary="pgp-sign-Multipart_Wed_Jan_13_15:45:28_2016-1";
	micalg=pgp-sha256; protocol="application/pgp-signature"
Content-Transfer-Encoding: 7bit

--pgp-sign-Multipart_Wed_Jan_13_15:45:28_2016-1
Content-Type: text/plain; format=flowed; charset=US-ASCII

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

--pgp-sign-Multipart_Wed_Jan_13_15:45:28_2016-1
Content-Type: application/pgp-signature
Content-Transfer-Encoding: 7bit
Content-Description: OpenPGP Digital Signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAABCAAGBQJWlbpIAAoJEKOfeD48G3g5WXsQAKvwnBJSNkIaRm/ioXKk9GDc
lYjnHcYyaw/Dd3bVzFtYDsuMU4R9hOfCh16lMuD9pCpYOwZJjoOBkdseBqCGK712
VIZqmI7wThjamjxLOHk4khfbfGFnLRlo6UBpccehjoEOe/vbq7/MPv25ZDGOiJ/b
YP29bUv8AaCALozpVYSDyuY5TE9XPuLzeq7YNrEzy89UhusugK5wOpaTIpmZtn60
oocxL1UGogJfkHw6RmVuhv+yt4M00KMOywrN7nsBj7HHT+yglA+jwSAnVTBT9bgU
UEiYCTz3fTmwXXlFclBGeL2aIfz2k/oOObcRDLyC6USzLR5ViEvs6PdM1RgJnw6O
MaLk5d/wU+BVdyqBM2Npgyo7JwrSX58AnKZw3g0V2G2Ab44B8vTVi0pOpy6dtvep
kUKaRQE5GaVhMZsJ8xs4o7Hz8x3VOQHg/JKwI/zNppCuitgubhpZUFH4Z9iRWwkA
b4G8uwf3uyS6e0Zis8WViWjgioduwhh3fWwiX5uXU3Sn/kuNToZKwMiMHVPc4Ma6
xK2eu/4yiUN6ononRKHCzh4/ny8eVW1H62jBHYexWksSSFeuVXOSaAEEVCQmh+vL
/v5IhdluOpiMCq4eG8xWOeUI1Swm8LNTh2KMFM3pQhm0X6RR7lg+dfYRLkXI0+hG
iPfAzgS6ayvNdQ8cO1Xc
=1bpq
-----END PGP SIGNATURE-----

--pgp-sign-Multipart_Wed_Jan_13_15:45:28_2016-1--


--===============7743532502451919042==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
--===============7743532502451919042==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gobo-eiffel-develop mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop

--===============7743532502451919042==--