See [here](https://github.com/sigp/lighthouse/blob/6d5a2b509fac7b6ffe693866f58ba49989f946d7/testing/ef_tests/tests/tests.rs#L225) and [here](https://github.com/sigp/lighthouse/blob/6d5a2b509fac7b6ffe693866f58ba49989f946d7/testing/ef_tests/check_all_files_accessed.py#L30-L41). More details to be added.