just a little change to print the full names of methods being analyzed
authorjjenista <jjenista>
Tue, 13 Jan 2009 18:41:30 +0000 (18:41 +0000)
committerjjenista <jjenista>
Tue, 13 Jan 2009 18:41:30 +0000 (18:41 +0000)
commitfe4479e05660283fc6a2daae79de782c7559634a
tree9c4fd536410bb6b7b9605339348f5e034243572e
parentfa4b3b880f84e1814b658d57a24da99ab5652945
just a little change to print the full names of methods being analyzed
Robust/src/Analysis/OwnershipAnalysis/MethodContext.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Benchmarks/Ownership/makefile