[Nice-commit] Nice/testsuite/compiler/methods integer.testsuite,1.11,1.12
Brought to you by:
bonniot
From: <ar...@us...> - 2003-09-03 22:32:14
|
Update of /cvsroot/nice/Nice/testsuite/compiler/methods In directory sc8-pr-cvs1:/tmp/cvs-serv19399/F:/nice/testsuite/compiler/methods Modified Files: integer.testsuite Log Message: fix for bug #800002. Index: integer.testsuite =================================================================== RCS file: /cvsroot/nice/Nice/testsuite/compiler/methods/integer.testsuite,v retrieving revision 1.11 retrieving revision 1.12 diff -C2 -d -r1.11 -r1.12 *** integer.testsuite 23 Jul 2003 18:41:20 -0000 1.11 --- integer.testsuite 3 Sep 2003 22:32:10 -0000 1.12 *************** *** 201,202 **** --- 201,214 ---- /// package b import a assert foo('#'); + + /// PASS + /// Toplevel + int g(int m, int n); + g(m, n<0) = 1; + g(m, n>=0) = 1; + + /// PASS + /// Toplevel + int g(int m, int n); + g(m<0, n) = 1; + g(m>=0, n) = 1; |