add missed trace in experiment
Merge branch 'master' of https://github.com/yuhuang/MPI-verification