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

Contents of /trunk/eweasel/tests/final113/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 88058 - (show annotations)
Mon Nov 28 20:11:25 2011 UTC (7 years, 9 months ago) by dhollen
File size: 709 byte(s)
Added test final113 for bug #18012, where executing a void-safe system that
was finalized with inlining results in a call on Void target.

1
2 test_name finalize-inline-attribute-with-body
3 test_description Finalizing a void-safe system with once strings in class invariants and keeping assertions crashes an assertion-enabled compiler with a precondition violation
4
5 define INLINING "false"
6 copy_sub Ace $TEST Ace
7 copy_raw test.e $CLUSTER test.e
8 copy_raw test1.e $CLUSTER test1.e
9
10 compile_final
11 compile_result ok
12
13 c_compile_final
14 c_compile_result ok
15
16 execute_final NONE exec_output_f
17 execute_result ok
18 compare exec_output_f output
19
20 define INLINING "true"
21 copy_sub Ace $TEST Ace
22
23 compile_final
24 compile_result ok
25
26 c_compile_final
27 c_compile_result ok
28
29 execute_final NONE exec_output_fi
30 execute_result ok
31 compare exec_output_fi output
32
33 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23