tree af5d69c9c38bd890d5c15934911deab6de5a6b5e
parent 2a4c598859c65a729410d0a08fcb91b8a9dcbcee
author Gilles Peskine <Gilles.Peskine@arm.com> 1611955232 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614018243 +0100

Count and report non-freed mutexes

Subtract the number of calls to mbedtls_mutex_free() from the number
of calls to mbedtls_mutex_init(). A mutex leak will manifest as a
positive result at the end of the test case.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>