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

Contents of /trunk/eweasel/tests/list012/tcf

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: 376 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 test_name sorted-two-way-list-invariant-violation
2 test_description Because `twin' was not properly implemented in SORTED_TWO_WAY_LIST, this could generate an invariant violation when callign `twin'.
3
4 copy_sub Ace $TEST Ace
5 copy_raw test.e $CLUSTER test.e
6
7 compile_melted
8 compile_result ok
9
10 execute_work NONE exec_output
11 execute_result ok
12
13 compare exec_output output
14
15 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23