Right now, the automated assertions performed by the local_codechecker_testcase only verify that all the defined expectations are matching the results.

But, after all that... we also need to verify that there aren't results missing expectations, and fail if some result has not been expected.

Ciao