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

Contents of /trunk/eweasel/tests/assert006/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89316 - (show annotations)
Tue Aug 7 18:26:55 2012 UTC (7 years, 4 months ago) by manus
File size: 832 byte(s)
New test (not yet failing though) showing a bug where preconditions will not be checked after checking an invariant.

1 test_name supplier-preconditions-not-checked-after-invariant
2 test_description tests the assertion monitoring for supplier preconditions which could be disabled if there is an invariant check that does not restore the supplier context.
3
4 copy_sub Ace $TEST Ace
5 copy_raw test.e $CLUSTER test.e
6 copy_raw a.e $CLUSTER a.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_keep
26 compile_result ok
27
28 c_compile_final
29 c_compile_result ok
30
31 execute_final NONE exec_output_f
32 execute_result ok
33 compare exec_output_f output
34
35 compile_final
36 compile_result ok
37
38 c_compile_final
39 c_compile_result ok
40
41
42 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23