Nice/testsuite/compiler/designByContract classFunctions.testsuite,1.2,1.3 classMethods.testsuite,1.2,1.3 functions.testsuite,1.4,1.5 methods.testsuite,1.8,1.9

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

Modified Files:
	classFunctions.testsuite classMethods.testsuite 
	functions.testsuite methods.testsuite 
Log Message:
Added some missing failure positions.

Index: methods.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/methods.testsuite,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** methods.testsuite	22 Jul 2004 16:14:54 -0000	1.8
--- methods.testsuite	12 Mar 2005 15:06:07 -0000	1.9
***************
*** 21,25 ****
    /// Toplevel
  void f(int x)
!   ensures result == result;
  
  f(x) {}
--- 21,25 ----
    /// Toplevel
  void f(int x)
!   ensures /* /// FAIL HERE */ result == result;
  
  f(x) {}

Index: classMethods.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/classMethods.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** classMethods.testsuite	27 Jul 2003 13:14:44 -0000	1.2
--- classMethods.testsuite	12 Mar 2005 15:06:07 -0000	1.3
***************
*** 26,30 ****
  class A {
  void f(int x)
!   ensures result == result;
  
  f(x) {}
--- 26,30 ----
  class A {
  void f(int x)
!   ensures /* /// FAIL HERE */ result == result;
  
  f(x) {}

Index: functions.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/functions.testsuite,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** functions.testsuite	27 Jul 2003 13:14:44 -0000	1.4
--- functions.testsuite	12 Mar 2005 15:06:07 -0000	1.5
***************
*** 19,23 ****
    /// Toplevel
  void f(int x)
!   ensures result == result
  {}
  
--- 19,23 ----
    /// Toplevel
  void f(int x)
!   ensures /* /// FAIL HERE */ result == result
  {}
  

Index: classFunctions.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/classFunctions.testsuite,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** classFunctions.testsuite	27 Jul 2003 13:14:44 -0000	1.2
--- classFunctions.testsuite	12 Mar 2005 15:06:07 -0000	1.3
***************
*** 24,28 ****
  class A {
  void f(int x)
!   ensures result == result
  {}
  }
--- 24,28 ----
  class A {
  void f(int x)
!   ensures /* /// FAIL HERE */ result == result
  {}
  }



-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click