[Nice-commit] Nice/testsuite/compiler/null inference.testsuite,1.10,1.11

[Arjan B. <ar...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/null
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17355/F:/nice/testsuite/compiler/null

Modified Files:
	inference.testsuite 
Log Message:
Take in account nullness test in asserts.

Index: inference.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/null/inference.testsuite,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** inference.testsuite	21 Jan 2004 13:16:39 -0000	1.10
--- inference.testsuite	25 Aug 2004 19:57:22 -0000	1.11
***************
*** 390,391 ****
--- 390,406 ----
      } while(x++ < 10);
    } 
+ 
+ /// PASS
+   ?String s = foo();
+   assert s != null;
+   String x = s;
+   /// Toplevel
+   ?String foo() = "";
+ 
+ /// FAIL
+   ?String s = foo();
+   assert s != null;
+   s = null;
+   String  /*/// FAIL HERE*/ x = s;
+   /// Toplevel
+   ?String foo() = "";