Figure Out Why HMAC Generates An Extra Test At The End

GaloisInc / hacrypto

Experiments in high-assurance crypto.

BSD 3-Clause "New" or "Revised" License

46 stars 14 forks source link

Figure Out Why HMAC Generates An Extra Test At The End #92

Closed dmzimmerman closed 9 years ago

dmzimmerman commented 9 years ago

The current generated HMAC.req file ends up with an extra test (with Count = 0, Klen = 20, Tlen = 20) at the end; other than that extra test, it works correctly with the OpenSSL harness. Why is the extra test generated? Needs investigation...