/[eiffelstudio]/trunk/eweasel/tests/list012
ViewVC logotype

Log of /trunk/eweasel/tests/list012

View Directory Listing Directory Listing


Sticky Revision:

Revision 75121 - Directory Listing
Added Wed Oct 15 22:37:30 2008 UTC (11 years, 1 month ago) by manus
Added a new test showing an invariant violation when twining a SORTED_TWO_WAY_LIST because
  it used the version of {ANY}.copy which only copies the head of the list. So if after twining
  you modify the list then the invariant `last_element_constraint' is violated.


  ViewVC Help
Powered by ViewVC 1.1.23