ViewVC logotype

Revision 75121

Jump to revision: Previous Next
Author: manus
Date: Wed Oct 15 22:37:30 2008 UTC (11 years, 3 months ago)
Changed paths: 6
Log Message:
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.

Changed paths

Path Details
Directorytrunk/eweasel/control/catalog modified , text changed
Directorytrunk/eweasel/tests/list012/ added
Directorytrunk/eweasel/tests/list012/Ace added
Directorytrunk/eweasel/tests/list012/output added
Directorytrunk/eweasel/tests/list012/tcf added
Directorytrunk/eweasel/tests/list012/test.e added

  ViewVC Help
Powered by ViewVC 1.1.23