method call stably implemented as a first pass, results already show some incorrect...

[IRC.git] / Robust / src / Tests / OwnershipAnalysisTest / test01 / test01.java

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java b/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
index 088fd08486284d8032cfa31f3108353212a2f208..ec7e604fb622dc17a9ff826aaa67926cd8394292 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
@@ -71,6 +71,7 @@ public class Foo {
     p0.x = g1;
   }
 
+  /*
   static public void m2_( Foo p0 ) {
     Foo g0 = new Foo();
 
@@ -141,6 +142,7 @@ public class Foo {
     p0.y = p1;
     p1.y = p0;
   }
+  */
 }
 
 
@@ -367,7 +369,7 @@ task methodTest01_( Foo p0{ f }, Foo p1{ f } ) {
   taskexit( p0{ !f }, p1{ !f } );
 }
 
-
+/*
 task methodTest02_( Foo p0{ f }, Foo p1{ f } ) {
 
   Foo a0before = new Foo();
@@ -569,3 +571,4 @@ task methodTest08_( Foo p0{ f }, Foo p1{ f } ) {
 
   taskexit( p0{ !f }, p1{ !f } );
 }
+*/
\ No newline at end of file