Pintos에서 버퍼 캐싱을 테스트하는 방법(Pintos Project 4)

저는 Pintos Project 4, 특히 버퍼 캐시 부분을 작업하고 있습니다.

코드를 완성했지만 올바르게 작동하는지 테스트하는 방법을 잘 모르겠습니다.