Implement more tests of dump files