test case for the ownership checking
authoryeom <yeom>
Fri, 16 Dec 2011 19:58:12 +0000 (19:58 +0000)
committeryeom <yeom>
Fri, 16 Dec 2011 19:58:12 +0000 (19:58 +0000)
commit061a6733a671ae5a8a42d4d238e05aede5656b82
tree147d6a6f02b255b6e0a040835a20dd2e87c4642d
parentf392c3d93e4e445e188b98bea5b9f853e52f5812
test case for the ownership checking
Robust/src/Tests/ssJava/ownership/makefile [new file with mode: 0644]
Robust/src/Tests/ssJava/ownership/test.java [new file with mode: 0644]