Dear Finnian,

Thank you for your contribution to "eel".
We were no able to include your tests set class, as it relies on Eiffel-Loop.
But we were anyway able to reproduce the issue of {HMAC_SHA256}.reset .

We fixed the issue on HMAC and SHA256 following an approach similar to what you suggested.

Please look at https://github.com/EiffelSoftware/EiffelStudio/commit/41e2f8d5bc04347c6c45266dba18619ef55bcee4