fixing more diffcheck bugs
fixing more diffcheck bugs
fixing more diffcheck bugs
Merge pull request #236 from ucsd-progsys/diffcheck

Diffcheck