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 {}
|
