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

Contents of /trunk/eweasel/tests/list012/output

Parent Directory Parent Directory | Revision Log Revision Log


Revision 75121 - (show annotations)
Wed Oct 15 22:37:30 2008 UTC (11 years, 3 months ago) by manus
File size: 20 byte(s)
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.

1 Execution completed

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23