@@ -108,6 +108,69 @@ public void testTf2()
108
108
// TODO: Uncomment below test when https://github.com/wala/ML/issues/65 is fixed.
109
109
// testTf2("tf2s.py", "add", 2, 3, 2, 3);
110
110
testTf2 ("tf2t.py" , "add" , 2 , 3 , 2 , 3 );
111
+ testTf2 ("tf2u.py" , "add" , 2 , 3 , 2 , 3 );
112
+ testTf2 ("tf2u2.py" , "add" , 2 , 3 , 2 , 3 );
113
+ testTf2 ("tf2u3.py" , "add" , 2 , 3 , 2 , 3 );
114
+ testTf2 ("tf2v.py" , "add" , 2 , 3 , 2 , 3 );
115
+ testTf2 ("tf2v2.py" , "add" , 2 , 3 , 2 , 3 );
116
+ testTf2 ("tf2v3.py" , "add" , 2 , 3 , 2 , 3 );
117
+ testTf2 ("tf2v4.py" , "add" , 2 , 4 , 2 , 3 );
118
+ testTf2 ("tf2v5.py" , "add" , 2 , 4 , 2 , 3 );
119
+ testTf2 ("tf2w.py" , "add" , 2 , 3 , 2 , 3 );
120
+ testTf2 ("tf2w2.py" , "add" , 2 , 3 , 2 , 3 );
121
+ testTf2 ("tf2w3.py" , "add" , 2 , 3 , 2 , 3 );
122
+ testTf2 ("tf2w4.py" , "add" , 2 , 3 , 2 , 3 );
123
+ testTf2 ("tf2x.py" , "add" , 2 , 3 , 2 , 3 );
124
+ testTf2 ("tf2x2.py" , "add" , 2 , 3 , 2 , 3 );
125
+ testTf2 ("tf2x3.py" , "add" , 2 , 3 , 2 , 3 );
126
+ testTf2 ("tf2y.py" , "add" , 2 , 3 , 2 , 3 );
127
+ testTf2 ("tf2y2.py" , "add" , 2 , 3 , 2 , 3 );
128
+ testTf2 ("tf2y3.py" , "add" , 2 , 3 , 2 , 3 );
129
+ testTf2 ("tf2y4.py" , "add" , 2 , 3 , 2 , 3 );
130
+ testTf2 ("tf2y5.py" , "add" , 2 , 3 , 2 , 3 );
131
+ testTf2 ("tf2y6.py" , "add" , 2 , 3 , 2 , 3 );
132
+ testTf2 ("tf2z.py" , "add" , 2 , 5 , 2 , 3 );
133
+ testTf2 ("tf2z2.py" , "add" , 2 , 5 , 2 , 3 );
134
+ testTf2 ("tf2z3.py" , "add" , 2 , 5 , 2 , 3 );
135
+ testTf2 ("tf2z4.py" , "add" , 2 , 5 , 2 , 3 );
136
+ testTf2 ("tf2aa.py" , "add" , 2 , 3 , 2 , 3 );
137
+ testTf2 ("tf2aa2.py" , "add" , 2 , 3 , 2 , 3 );
138
+ testTf2 ("tf2aa3.py" , "add" , 2 , 3 , 2 , 3 );
139
+ testTf2 ("tf2aa4.py" , "add" , 2 , 3 , 2 , 3 );
140
+ testTf2 ("tf2aa5.py" , "add" , 2 , 3 , 2 , 3 );
141
+ testTf2 ("tf2aa6.py" , "add" , 2 , 3 , 2 , 3 );
142
+ testTf2 ("tf2aa7.py" , "add" , 2 , 3 , 2 , 3 );
143
+ testTf2 ("tf2aa8.py" , "add" , 2 , 3 , 2 , 3 );
144
+ testTf2 ("tf2bb.py" , "add" , 2 , 5 , 2 , 3 );
145
+ testTf2 ("tf2bb2.py" , "add" , 2 , 5 , 2 , 3 );
146
+ testTf2 ("tf2bb3.py" , "add" , 2 , 5 , 2 , 3 );
147
+ testTf2 ("tf2bb4.py" , "add" , 2 , 5 , 2 , 3 );
148
+ testTf2 ("tf2cc.py" , "add" , 2 , 3 , 2 , 3 );
149
+ testTf2 ("tf2cc2.py" , "add" , 2 , 3 , 2 , 3 );
150
+ testTf2 ("tf2cc3.py" , "add" , 2 , 3 , 2 , 3 );
151
+ testTf2 ("tf2dd.py" , "add" , 2 , 3 , 2 , 3 );
152
+ testTf2 ("tf2dd2.py" , "add" , 2 , 3 , 2 , 3 );
153
+ testTf2 ("tf2ee.py" , "add" , 2 , 3 , 2 , 3 );
154
+ testTf2 ("tf2ee2.py" , "add" , 2 , 3 , 2 , 3 );
155
+ testTf2 ("tf2ff.py" , "add" , 2 , 3 , 2 , 3 );
156
+ testTf2 ("tf2ff2.py" , "add" , 2 , 3 , 2 , 3 );
157
+ testTf2 ("tf2gg.py" , "add" , 2 , 3 , 2 , 3 );
158
+ testTf2 ("tf2gg2.py" , "add" , 2 , 3 , 2 , 3 );
159
+ testTf2 ("tf2gg3.py" , "add" , 2 , 3 , 2 , 3 );
160
+ testTf2 ("tf2hh.py" , "add" , 2 , 3 , 2 , 3 );
161
+ testTf2 ("tf2hh2.py" , "add" , 2 , 3 , 2 , 3 );
162
+ testTf2 ("tf2hh3.py" , "add" , 2 , 3 , 2 , 3 );
163
+ testTf2 ("tf2hh4.py" , "add" , 2 , 3 , 2 , 3 );
164
+ testTf2 ("tf2ii.py" , "add" , 2 , 3 , 2 , 3 );
165
+ testTf2 ("tf2ii2.py" , "add" , 2 , 3 , 2 , 3 );
166
+ testTf2 ("tf2ii3.py" , "add" , 2 , 3 , 2 , 3 );
167
+ testTf2 ("tf2jj.py" , "add" , 2 , 3 , 2 , 3 );
168
+ testTf2 ("tf2jj2.py" , "add" , 2 , 3 , 2 , 3 );
169
+ testTf2 ("tf2kk.py" , "add" , 2 , 3 , 2 , 3 );
170
+ testTf2 ("tf2kk2.py" , "add" , 2 , 3 , 2 , 3 );
171
+ testTf2 ("tf2ll.py" , "add" , 2 , 3 , 2 , 3 );
172
+ testTf2 ("tf2ll2.py" , "add" , 2 , 3 , 2 , 3 );
173
+ testTf2 ("tf2ll3.py" , "add" , 2 , 3 , 2 , 3 );
111
174
}
112
175
113
176
private void testTf2 (
0 commit comments