This project is related to the IM9906-2-VerifyingIdentityHashMap project (see:
https://github.com/m4ndeb2r/IM9906-2-VerifyingIdentityHashMap). The purpose of that
project is to formally analyse the OpenJDK's IdentityHashMap.
The purpose of this project is to provide unittests to check the JML specs in the IM9906-2-VerifyingIdentityHashMap project. This way, for example, defining class invariants is made easier because it is possible to check the invariants by running some basic tests.