[Nice-commit] Nice/testsuite/compiler/designByContract methods.testsuite,1.5,1.6

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

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

Modified Files:
	methods.testsuite 
Log Message:
Testcase for bug #982048.

Index: methods.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/methods.testsuite,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** methods.testsuite	28 Nov 2003 13:52:08 -0000	1.5
--- methods.testsuite	29 Jun 2004 19:27:32 -0000	1.6
***************
*** 84,85 ****
--- 84,90 ----
    } catch(AssertionFailed e) { ok = true; }
    assert ok;
+ 
+ /// PASS bug
+   /// Toplevel
+   class A { ?int foo; }
+   void bar(A a) requires a.foo == null || notNull(a.foo) >= 0 {}