logger.info("----------");
logger.info("Testing " + peFile);
Program program = Program.createProgram(arch);
program.loadMainModule(peFile);
program.installHarness(new DefaultHarness());
ControlFlowReconstruction cfr = new ControlFlowReconstruction(program);
cfr.run();
assertEquals(numInstructions, program.getAssemblyMap().size());
assertEquals(numStatements, program.getStatements().size());