63 BOOST_CHECK(Devices::getSupportedDevices().size() > 0);
71 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv50"),
eXCV50);
72 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv100"),
eXCV100);
73 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv150"),
eXCV150);
74 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv200"),
eXCV200);
75 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv300"),
eXCV300);
76 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv400"),
eXCV400);
77 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv600"),
eXCV600);
78 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv800"),
eXCV800);
79 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv1000"),
eXCV1000);
80 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv50e"),
eXCV50E);
81 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv100e"),
eXCV100E);
82 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv200e"),
eXCV200E);
83 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv300e"),
eXCV300E);
84 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv400e"),
eXCV400E);
85 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv405e"),
eXCV405E);
86 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv600e"),
eXCV600E);
87 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv812e"),
eXCV812E);
88 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv1000e"),
eXCV1000E);
89 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv1600e"),
eXCV1600E);
90 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv2000e"),
eXCV2000E);
91 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv2600e"),
eXCV2600E);
92 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xcv3200e"),
eXCV3200E);
93 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v40"),
eXC2V40);
94 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v80"),
eXC2V80);
95 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v250"),
eXC2V250);
96 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v500"),
eXC2V500);
97 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v1000"),
eXC2V1000);
98 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v1500"),
eXC2V1500);
99 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v2000"),
eXC2V2000);
100 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v3000"),
eXC2V3000);
101 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v4000"),
eXC2V4000);
102 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v6000"),
eXC2V6000);
103 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2v8000"),
eXC2V8000);
104 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp2"),
eXC2VP2);
105 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp4"),
eXC2VP4);
106 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp7"),
eXC2VP7);
107 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp20"),
eXC2VP20);
108 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp30"),
eXC2VP30);
109 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp40"),
eXC2VP40);
110 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp50"),
eXC2VP50);
111 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp70"),
eXC2VP70);
112 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vp100"),
eXC2VP100);
113 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vpx20"),
eXC2VPX20);
114 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc2vpx70"),
eXC2VPX70);
115 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vfx12"),
eXC4VFX12);
116 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vfx20"),
eXC4VFX20);
117 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vfx40"),
eXC4VFX40);
118 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vfx60"),
eXC4VFX60);
119 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vfx100"),
eXC4VFX100);
120 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vfx140"),
eXC4VFX140);
121 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx15"),
eXC4VLX15);
122 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx25"),
eXC4VLX25);
123 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx40"),
eXC4VLX40);
124 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx60"),
eXC4VLX60);
125 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx80"),
eXC4VLX80);
126 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx100"),
eXC4VLX100);
127 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx160"),
eXC4VLX160);
128 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vlx200"),
eXC4VLX200);
129 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vsx25"),
eXC4VSX25);
130 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vsx35"),
eXC4VSX35);
131 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc4vsx55"),
eXC4VSX55);
132 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vfx30t"),
eXC5VFX30T);
133 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vfx70t"),
eXC5VFX70T);
134 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vfx100t"),
eXC5VFX100T);
135 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vfx130t"),
eXC5VFX130T);
136 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vfx200t"),
eXC5VFX200T);
137 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx30"),
eXC5VLX30);
138 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx50"),
eXC5VLX50);
139 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx85"),
eXC5VLX85);
140 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx110"),
eXC5VLX110);
141 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx155"),
eXC5VLX155);
142 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx220"),
eXC5VLX220);
143 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx330"),
eXC5VLX330);
144 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx20t"),
eXC5VLX20T);
145 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx30t"),
eXC5VLX30T);
146 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx50t"),
eXC5VLX50T);
147 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx85t"),
eXC5VLX85T);
148 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx110t"),
eXC5VLX110T);
149 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx155t"),
eXC5VLX155T);
150 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx220t"),
eXC5VLX220T);
151 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vlx330t"),
eXC5VLX330T);
152 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vsx35t"),
eXC5VSX35T);
153 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vsx50t"),
eXC5VSX50T);
154 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vsx95t"),
eXC5VSX95T);
155 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vsx240t"),
eXC5VSX240T);
156 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vtx150t"),
eXC5VTX150T);
157 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc5vtx240t"),
eXC5VTX240T);
158 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vcx75t"),
eXC6VCX75T);
159 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vcx130t"),
eXC6VCX130T);
160 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vcx195t"),
eXC6VCX195T);
161 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vcx240t"),
eXC6VCX240T);
162 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vhx250t"),
eXC6VHX250T);
163 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vhx255t"),
eXC6VHX255T);
164 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vhx380t"),
eXC6VHX380T);
165 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vhx565t"),
eXC6VHX565T);
166 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vlx75t"),
eXC6VLX75T);
167 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vlx130t"),
eXC6VLX130T);
168 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vlx195t"),
eXC6VLX195T);
169 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vlx240t"),
eXC6VLX240T);
170 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vlx365t"),
eXC6VLX365T);
171 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vlx550t"),
eXC6VLX550T);
172 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vlx760"),
eXC6VLX760);
173 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vsx315t"),
eXC6VSX315T);
174 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6vsx475t"),
eXC6VSX475T);
175 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7a100t"),
eXC7A100T);
176 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7a200t"),
eXC7A200T);
177 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7k70t"),
eXC7K70T);
178 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7k160t"),
eXC7K160T);
179 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7k325t"),
eXC7K325T);
180 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7k355t"),
eXC7K355T);
181 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7k410t"),
eXC7K410T);
182 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7k420t"),
eXC7K420T);
183 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7k480t"),
eXC7K480T);
184 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7v585t"),
eXC7V585T);
185 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7v2000t"),
eXC7V2000T);
186 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vh580t"),
eXC7VH580T);
187 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vh870t"),
eXC7VH870T);
188 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vx330t"),
eXC7VX330T);
189 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vx415t"),
eXC7VX415T);
190 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vx485t"),
eXC7VX485T);
191 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vx550t"),
eXC7VX550T);
192 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vx690t"),
eXC7VX690T);
193 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vx980t"),
eXC7VX980T);
194 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7vx1140t"),
eXC7VX1140T);
195 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7z010"),
eXC7Z010);
196 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7z020"),
eXC7Z020);
197 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7z030"),
eXC7Z030);
198 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc7z045"),
eXC7Z045);
199 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc3s100e"),
eXC3S100E);
200 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc3s250e"),
eXC3S250E);
201 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc3s500e"),
eXC3S500E);
202 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc3s1200e"),
eXC3S1200E);
203 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc3s1600e"),
eXC3S1600E);
204 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx4"),
eXC6SLX4);
205 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx9"),
eXC6SLX9);
206 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx16"),
eXC6SLX16);
207 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx25"),
eXC6SLX25);
208 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx45"),
eXC6SLX45);
209 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx75"),
eXC6SLX75);
210 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx100"),
eXC6SLX100);
211 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx150"),
eXC6SLX150);
212 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx25t"),
eXC6SLX25T);
213 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx45t"),
eXC6SLX45T);
214 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx75t"),
eXC6SLX75T);
215 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx100t"),
eXC6SLX100T);
216 BOOST_CHECK_EQUAL(Devices::getDeviceEnum(
"xc6slx150t"),
eXC6SLX150T);
223 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV50),
"xcv50");
224 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV100),
"xcv100");
225 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV150),
"xcv150");
226 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV200),
"xcv200");
227 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV300),
"xcv300");
228 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV400),
"xcv400");
229 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV600),
"xcv600");
230 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV800),
"xcv800");
231 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV1000),
"xcv1000");
232 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV50E),
"xcv50e");
233 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV100E),
"xcv100e");
234 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV200E),
"xcv200e");
235 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV300E),
"xcv300e");
236 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV400E),
"xcv400e");
237 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV405E),
"xcv405e");
238 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV600E),
"xcv600e");
239 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV812E),
"xcv812e");
240 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV1000E),
"xcv1000e");
241 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV1600E),
"xcv1600e");
242 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV2000E),
"xcv2000e");
243 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV2600E),
"xcv2600e");
244 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXCV3200E),
"xcv3200e");
245 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V40),
"xc2v40");
246 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V80),
"xc2v80");
247 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V250),
"xc2v250");
248 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V500),
"xc2v500");
249 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V1000),
"xc2v1000");
250 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V1500),
"xc2v1500");
251 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V2000),
"xc2v2000");
252 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V3000),
"xc2v3000");
253 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V4000),
"xc2v4000");
254 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V6000),
"xc2v6000");
255 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2V8000),
"xc2v8000");
256 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP2),
"xc2vp2");
257 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP4),
"xc2vp4");
258 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP7),
"xc2vp7");
259 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP20),
"xc2vp20");
260 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP30),
"xc2vp30");
261 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP40),
"xc2vp40");
262 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP50),
"xc2vp50");
263 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP70),
"xc2vp70");
264 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VP100),
"xc2vp100");
265 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VPX20),
"xc2vpx20");
266 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC2VPX70),
"xc2vpx70");
267 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VFX12),
"xc4vfx12");
268 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VFX20),
"xc4vfx20");
269 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VFX40),
"xc4vfx40");
270 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VFX60),
"xc4vfx60");
271 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VFX100),
"xc4vfx100");
272 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VFX140),
"xc4vfx140");
273 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX15),
"xc4vlx15");
274 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX25),
"xc4vlx25");
275 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX40),
"xc4vlx40");
276 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX60),
"xc4vlx60");
277 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX80),
"xc4vlx80");
278 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX100),
"xc4vlx100");
279 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX160),
"xc4vlx160");
280 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VLX200),
"xc4vlx200");
281 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VSX25),
"xc4vsx25");
282 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VSX35),
"xc4vsx35");
283 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC4VSX55),
"xc4vsx55");
284 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VFX30T),
"xc5vfx30t");
285 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VFX70T),
"xc5vfx70t");
286 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VFX100T),
"xc5vfx100t");
287 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VFX130T),
"xc5vfx130t");
288 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VFX200T),
"xc5vfx200t");
289 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX30),
"xc5vlx30");
290 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX50),
"xc5vlx50");
291 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX85),
"xc5vlx85");
292 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX110),
"xc5vlx110");
293 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX155),
"xc5vlx155");
294 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX220),
"xc5vlx220");
295 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX330),
"xc5vlx330");
296 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX20T),
"xc5vlx20t");
297 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX30T),
"xc5vlx30t");
298 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX50T),
"xc5vlx50t");
299 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX85T),
"xc5vlx85t");
300 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX110T),
"xc5vlx110t");
301 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX155T),
"xc5vlx155t");
302 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX220T),
"xc5vlx220t");
303 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VLX330T),
"xc5vlx330t");
304 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VSX35T),
"xc5vsx35t");
305 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VSX50T),
"xc5vsx50t");
306 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VSX95T),
"xc5vsx95t");
307 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VSX240T),
"xc5vsx240t");
308 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VTX150T),
"xc5vtx150t");
309 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC5VTX240T),
"xc5vtx240t");
310 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VCX75T),
"xc6vcx75t");
311 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VCX130T),
"xc6vcx130t");
312 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VCX195T),
"xc6vcx195t");
313 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VCX240T),
"xc6vcx240t");
314 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VHX250T),
"xc6vhx250t");
315 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VHX255T),
"xc6vhx255t");
316 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VHX380T),
"xc6vhx380t");
317 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VHX565T),
"xc6vhx565t");
318 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VLX75T),
"xc6vlx75t");
319 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VLX130T),
"xc6vlx130t");
320 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VLX195T),
"xc6vlx195t");
321 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VLX240T),
"xc6vlx240t");
322 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VLX365T),
"xc6vlx365t");
323 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VLX550T),
"xc6vlx550t");
324 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VLX760),
"xc6vlx760");
325 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VSX315T),
"xc6vsx315t");
326 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6VSX475T),
"xc6vsx475t");
327 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7A100T),
"xc7a100t");
328 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7A200T),
"xc7a200t");
329 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7K70T),
"xc7k70t");
330 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7K160T),
"xc7k160t");
331 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7K325T),
"xc7k325t");
332 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7K355T),
"xc7k355t");
333 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7K410T),
"xc7k410t");
334 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7K420T),
"xc7k420t");
335 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7K480T),
"xc7k480t");
336 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7V585T),
"xc7v585t");
337 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7V2000T),
"xc7v2000t");
338 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VH580T),
"xc7vh580t");
339 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VH870T),
"xc7vh870t");
340 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VX330T),
"xc7vx330t");
341 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VX415T),
"xc7vx415t");
342 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VX485T),
"xc7vx485t");
343 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VX550T),
"xc7vx550t");
344 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VX690T),
"xc7vx690t");
345 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VX980T),
"xc7vx980t");
346 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7VX1140T),
"xc7vx1140t");
347 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7Z010),
"xc7z010");
348 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7Z020),
"xc7z020");
349 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7Z030),
"xc7z030");
350 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC7Z045),
"xc7z045");
351 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC3S100E),
"xc3s100e");
352 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC3S250E),
"xc3s250e");
353 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC3S500E),
"xc3s500e");
354 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC3S1200E),
"xc3s1200e");
355 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC3S1600E),
"xc3s1600e");
356 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX4),
"xc6slx4");
357 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX9),
"xc6slx9");
358 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX16),
"xc6slx16");
359 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX25),
"xc6slx25");
360 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX45),
"xc6slx45");
361 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX75),
"xc6slx75");
362 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX100),
"xc6slx100");
363 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX150),
"xc6slx150");
364 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX25T),
"xc6slx25t");
365 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX45T),
"xc6slx45t");
366 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX75T),
"xc6slx75t");
367 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX100T),
"xc6slx100t");
368 BOOST_CHECK_EQUAL(Devices::getDeviceName(
eXC6SLX150T),
"xc6slx150t");