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

Contents of /trunk/eweasel/tests/freez030/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 76838 - (show annotations)
Mon Jan 26 20:59:20 2009 UTC (11 years ago) by dhollen
File size: 595 byte(s)
Added eweasel test freez030 for bug # 15321, where a qualified call on a
constant attribute with target Current does not check the class invariant, but
only if the systeml is frozen (melted code works correctly).

1
2 test_name invariant-qualified-call-on-constant
3 test_description A qualified call on a constant attribute where the target is Current does not check the class invariant when the system is frozen. Melted code works correctly
4
5 copy_sub Ace $TEST Ace
6 copy_raw test.e $CLUSTER test.e
7 copy_raw test2.e $CLUSTER test2.e
8
9 compile_melted
10 compile_result ok
11
12 execute_work NONE exec_output1
13 execute_result ok
14 compare exec_output1 output
15
16 compile_frozen
17 compile_result ok
18
19 c_compile_work
20 c_compile_result ok
21
22 execute_work NONE exec_output2
23 execute_result ok
24 compare exec_output2 output
25
26 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23