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

Contents of /trunk/eweasel/tests/incr351/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83161 - (show annotations)
Thu May 13 17:12:45 2010 UTC (9 years, 4 months ago) by manus
File size: 619 byte(s)
Added a new test showing a crash during an incremental recompilation when checking an invariant with an inline agent.

1 test_name inline-agent-invariant-crash
2 test_description When an inline agent is used in an invariant and that a certain sequence of compilation is taken, it could cause the compiler to crash when checking the invariant without code regeneration when a supplier of the class has been changed.
3
4 define COMMENT ""
5 copy_sub Ace $TEST Ace
6 copy_sub test.e $CLUSTER test.e
7 copy_sub test1.e $CLUSTER test1.e
8
9 compile_melted
10 compile_result ok
11
12 define COMMENT ""
13 copy_sub test.e $CLUSTER test.e
14
15 compile_melted
16 compile_result ok
17
18 define COMMENT "--"
19 copy_sub test1.e $CLUSTER test1.e
20
21 compile_melted
22 compile_result ok
23
24
25 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23