add two test traces diskSim.trace and disSim-small.trace