|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
|
<html><header>LOGPRO RESULTS</header><body><pre>
</pre>
<font color="blue">
LOGPRO: hit trigger Body on line 0
</b></font>
<br>
<font color="blue">
LOGPRO: hit trigger Init on line 0
</b></font>
<br>
<font color="purple">
LOGPRO Required: Header = 1 in section Init on line 0
</font>
<br><pre>
// This is a header
</pre>
<font color="blue">
LOGPRO: hit trigger InitEnd on line 1
</b></font>
<br><pre>
</pre>
<font color="red">
LOGPRO Error: ERROR BLAH = 0 in section Body on line 2
</font>
<br><pre>
// The following is an error
begin Blah1
</pre>
<font color="red">
LOGPRO Error: ERROR BLAH = 0 in section Body on line 4
</font>
<br><pre>
ERROR: This shouldn't happen
end Blah1
</pre>
<font color="red">
LOGPRO Error: ERROR BLAH = 0 in section Body on line 7
</font>
<br><pre>
// The following is an expected error
</pre>
<font color="blue">
LOGPRO: hit trigger Blah2 on line 8
</b></font>
<br><pre>
begin Blah2
</pre>
<font color="green">
LOGPRO Ignore: FALSE ERROR = 1 in section Blah2 on line 9
</font>
<br><pre>
ERROR: This shouldn't happen
</pre>
<font color="blue">
LOGPRO: hit trigger Blah2End on line 10
</b></font>
<br><pre>
end Blah2
// This is nothing
The End
==========================LOGPRO SUMMARY==========================
Trigger: Blah2End OK, count=1
Trigger: Blah2 OK, count=1
Trigger: Body OK, count=1
Trigger: InitEnd OK, count=1
Trigger: Init OK, count=1
Expect: Error in Body FAIL, expected = 0 of ERROR BLAH, got 3
Expect: Ignore in Blah2 OK, expected = 1 of FALSE ERROR, got 1
Expect: Expect in Init OK, expected < 1 of Junk, got 0
Expect: Required in Init OK, expected = 1 of Header, got 1
</pre></body></html>
|