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

Contents of /trunk/eweasel/tests/lib038/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 86925 - (show annotations)
Mon Aug 1 22:50:42 2011 UTC (8 years, 5 months ago) by manus
File size: 281 byte(s)
Adapted code to detect that now we are triggering a precondition violation in `own_from_pointer' rather than accepting a null pointer and violating our invariant.

1 test_name managed-pointer-invariant
2 test_description Violation of invariant of MANAGED_POINTER
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_output1
11 execute_result ok
12 compare exec_output1 output
13
14 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23