tree b8e15f7774c4fad96f62c5ffba6526c7445156f1
parent 0abb8e4bd84ea1141622609cc075789b8d7728f7
author Gilles Peskine <Gilles.Peskine@arm.com> 1611955232 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1613141715 +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>