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

Contents of /trunk/eweasel/tests/fixed118/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (12 years, 9 months ago) by manus
File size: 1994 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1
2 --| Copyright (c) 1993-2006 University of Southern California and contributors.
3 --| All rights reserved.
4 --| Your use of this work is governed under the terms of the GNU General
5 --| Public License version 2.
6
7 -- This is a test control file
8
9 test_name lace-assertion-option
10 test_description Test assertion monitoring and debug instruction execution
11
12 copy_raw test.e $CLUSTER test.e
13 copy_raw test1.e $CLUSTER test1.e
14
15 define ASSERTION_LEVEL ""
16 copy_sub Ace $TEST Ace
17 compile_melted
18 compile_result ok
19
20 execute_work NONE exec_output1
21 execute_result ok
22 compare exec_output1 output1
23
24 define ASSERTION_LEVEL "precondition="true""
25 copy_sub Ace $TEST Ace
26 compile_melted
27 compile_result ok
28
29 execute_work NONE exec_output2
30 execute_result ok
31 compare exec_output2 output2
32
33 define ASSERTION_LEVEL "precondition="true" postcondition="true""
34 copy_sub Ace $TEST Ace
35 compile_melted
36 compile_result ok
37
38 execute_work NONE exec_output3
39 execute_result ok
40 compare exec_output3 output3
41
42 define ASSERTION_LEVEL "precondition="true" postcondition="true" invariant="true""
43 copy_sub Ace $TEST Ace
44 compile_melted
45 compile_result ok
46
47 execute_work NONE exec_output4
48 execute_result ok
49 compare exec_output4 output4
50
51 define ASSERTION_LEVEL "precondition="true" postcondition="true" invariant="true" loop="true""
52 copy_sub Ace $TEST Ace
53 compile_melted
54 compile_result ok
55
56 execute_work NONE exec_output5
57 execute_result ok
58 compare exec_output5 output5
59
60 define ASSERTION_LEVEL "precondition="true" postcondition="true" invariant="true" loop="true" check="true""
61 copy_sub Ace $TEST Ace
62 compile_melted
63 compile_result ok
64
65 execute_work NONE exec_output6
66 execute_result ok
67 compare exec_output6 output6
68
69 define ASSERTION_LEVEL "precondition="true" postcondition="true" invariant="true" loop="true" check="true""
70 copy_sub Ace $TEST Ace
71 compile_melted
72 compile_result ok
73
74 execute_work NONE exec_output7
75 execute_result ok
76 compare exec_output7 output7
77
78 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23