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

Contents of /trunk/eweasel/tests/exec311/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 78058 - (show annotations)
Thu Apr 2 23:05:16 2009 UTC (10 years, 9 months ago) by manus
File size: 655 byte(s)
Use the TEST1 class instead of STRING to check the invariant, that way we can verify that both
  melted and C code fails.

1 test_name profile-with-invariant
2 test_description A system with profiling enabled and invariant checking enabled crashes.
3
4 copy_sub Ace $TEST Ace
5 copy_raw test.e $CLUSTER test.e
6 copy_raw test1.e $CLUSTER test1.e
7
8 compile_melted
9 compile_result ok
10
11 execute_work NONE exec_output_m
12 execute_result ok
13 compare exec_output_m output
14
15 compile_frozen
16 compile_result ok
17
18 c_compile_work
19 c_compile_result ok
20
21 execute_work NONE exec_output_w
22 execute_result ok
23 compare exec_output_w output
24
25 compile_final
26 compile_result ok
27
28 c_compile_final
29 c_compile_result ok
30
31 execute_work NONE exec_output_f
32 execute_result ok
33 compare exec_output_f output
34
35 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23