more sophisticated version of Process.verifyClean()
authoradam <adam@megacz.com>
Mon, 3 Nov 2008 13:00:59 +0000 (14:00 +0100)
committeradam <adam@megacz.com>
Mon, 3 Nov 2008 13:00:59 +0000 (14:00 +0100)
commit9db671f990c00be011120d9661601f7e29d288de
treeff8b3394a3bf891103b3dea3eec1a8cbe9f2a22a
parentfac5145605314a897a07f9f5c0daa8542fe48553
more sophisticated version of Process.verifyClean()
src/edu/berkeley/fleet/ir/Process.java