117118119120121122123124125126127
{ G.v().out.println("[wjtp.tn] *** Build May-Happen-in-Parallel Info *** " + (new Date())); mhp = new SynchObliviousMhpAnalysis(); if(optionPrintMhpSummary) { mhp.printMhpSummary(); } }