source: src/Tests/Expect-s/InferParam.txt @ 8243cf9

string
Last change on this file since 8243cf9 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs

  • Property mode set to 100644
File size: 1.7 KB
Line 
1Adding function ?=?
2--- Entering scope
3--- Leaving scope containing
4Adding function ?=?
5--- Entering scope
6--- Leaving scope containing
7Adding function ?=?
8--- Entering scope
9--- Leaving scope containing
10Adding function g
11--- Entering scope
12--- Entering scope
13--- Leaving scope containing
14Adding type T
15Adding function ?=?
16--- Entering scope
17--- Leaving scope containing
18--- Entering scope
19--- Leaving scope containing
20Adding type U
21Adding function ?=?
22--- Entering scope
23--- Leaving scope containing
24Adding function f
25--- Entering scope
26--- Leaving scope containing
27--- Leaving scope containing
28T
29U
30Adding function f
31--- Entering scope
32--- Leaving scope containing
33Adding function f
34--- Entering scope
35--- Leaving scope containing
36Adding function i
37--- Entering scope
38--- Leaving scope containing
39Adding function h
40--- Entering scope
41--- Entering scope
42Adding object a
43--- Leaving scope containing
44--- Leaving scope containing
45--- Entering scope
46--- Entering scope
47--- Leaving scope containing
48Adding type T
49--- Entering scope
50--- Leaving scope containing
51Adding type U
52Adding function f
53--- Entering scope
54--- Leaving scope containing
55Adding function j
56--- Entering scope
57--- Leaving scope containing
58--- Leaving scope containing
59T
60U
61Adding context has_f_and_j
62Adding function j
63--- Entering scope
64--- Leaving scope containing
65Adding function k
66--- Entering scope
67--- Entering scope
68--- Leaving scope containing
69Adding type T
70Adding function ?=?
71--- Entering scope
72--- Leaving scope containing
73--- Entering scope
74--- Leaving scope containing
75Adding type U
76Adding function ?=?
77--- Entering scope
78--- Leaving scope containing
79--- Leaving scope containing
80T
81U
82Adding function l
83--- Entering scope
84--- Entering scope
85Adding object b
86--- Leaving scope containing
87--- Leaving scope containing
Note: See TracBrowser for help on using the repository browser.