A correct pfscan non-det patch is generated. Worked with 2 files and 2 threads on xtern+dbug. More threads required some diagnosing in dbug.;
A correct pfscan non-det patch is generated. Worked with 2 files and 2 threads on xtern+dbug. More threads required some diagnosing in dbug.;

hemingcui/xtern_with_paxos,columbia/xtern,hemingcui/xtern_with_paxos,columbia/xtern,columbia/xtern,columbia/xtern,columbia/xtern,hemingcui/xtern_with_paxos,hemingcui/xtern_with_paxos,columbia/xtern,hemingcui/xtern_with_paxos