Wire Sysio Wire Sysion 1.0.0
Loading...
Searching...
No Matches
unreached-invalid_tests.cpp
Go to the documentation of this file.
1// Generated by spec_test_generator. DO NOT MODIFY THIS FILE.
2
3#include <algorithm>
4#include <vector>
5#include <iostream>
6#include <iterator>
7#include <cmath>
8#include <cstdlib>
9#include <catch2/catch.hpp>
10#include <utils.hpp>
11#include <wasm_config.hpp>
12#include <sysio/vm/backend.hpp>
13
14using namespace sysio;
15using namespace sysio::vm;
16extern wasm_allocator wa;
17
18BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_0_wasm>", "[unreached-invalid_0_wasm_tests]" ) {
20 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.0.wasm");
21 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
22}
23
24BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_1_wasm>", "[unreached-invalid_1_wasm_tests]" ) {
26 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.1.wasm");
27 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
28}
29
30BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_10_wasm>", "[unreached-invalid_10_wasm_tests]" ) {
32 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.10.wasm");
33 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
34}
35
36BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_100_wasm>", "[unreached-invalid_100_wasm_tests]" ) {
38 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.100.wasm");
39 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
40}
41
42BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_101_wasm>", "[unreached-invalid_101_wasm_tests]" ) {
44 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.101.wasm");
45 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
46}
47
48BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_102_wasm>", "[unreached-invalid_102_wasm_tests]" ) {
50 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.102.wasm");
51 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
52}
53
54BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_103_wasm>", "[unreached-invalid_103_wasm_tests]" ) {
56 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.103.wasm");
57 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
58}
59
60BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_104_wasm>", "[unreached-invalid_104_wasm_tests]" ) {
62 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.104.wasm");
63 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
64}
65
66BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_105_wasm>", "[unreached-invalid_105_wasm_tests]" ) {
68 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.105.wasm");
69 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
70}
71
72BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_106_wasm>", "[unreached-invalid_106_wasm_tests]" ) {
74 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.106.wasm");
75 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
76}
77
78BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_107_wasm>", "[unreached-invalid_107_wasm_tests]" ) {
80 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.107.wasm");
81 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
82}
83
84BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_108_wasm>", "[unreached-invalid_108_wasm_tests]" ) {
86 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.108.wasm");
87 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
88}
89
90BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_109_wasm>", "[unreached-invalid_109_wasm_tests]" ) {
92 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.109.wasm");
93 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
94}
95
96BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_11_wasm>", "[unreached-invalid_11_wasm_tests]" ) {
98 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.11.wasm");
99 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
100}
101
102BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_110_wasm>", "[unreached-invalid_110_wasm_tests]" ) {
104 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.110.wasm");
105 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
106}
107
108BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_12_wasm>", "[unreached-invalid_12_wasm_tests]" ) {
110 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.12.wasm");
111 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
112}
113
114BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_13_wasm>", "[unreached-invalid_13_wasm_tests]" ) {
116 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.13.wasm");
117 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
118}
119
120BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_14_wasm>", "[unreached-invalid_14_wasm_tests]" ) {
122 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.14.wasm");
123 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
124}
125
126BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_15_wasm>", "[unreached-invalid_15_wasm_tests]" ) {
128 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.15.wasm");
129 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
130}
131
132BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_16_wasm>", "[unreached-invalid_16_wasm_tests]" ) {
134 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.16.wasm");
135 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
136}
137
138BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_17_wasm>", "[unreached-invalid_17_wasm_tests]" ) {
140 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.17.wasm");
141 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
142}
143
144BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_18_wasm>", "[unreached-invalid_18_wasm_tests]" ) {
146 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.18.wasm");
147 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
148}
149
150BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_19_wasm>", "[unreached-invalid_19_wasm_tests]" ) {
152 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.19.wasm");
153 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
154}
155
156BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_2_wasm>", "[unreached-invalid_2_wasm_tests]" ) {
158 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.2.wasm");
159 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
160}
161
162BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_20_wasm>", "[unreached-invalid_20_wasm_tests]" ) {
164 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.20.wasm");
165 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
166}
167
168BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_21_wasm>", "[unreached-invalid_21_wasm_tests]" ) {
170 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.21.wasm");
171 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
172}
173
174BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_22_wasm>", "[unreached-invalid_22_wasm_tests]" ) {
176 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.22.wasm");
177 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
178}
179
180BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_23_wasm>", "[unreached-invalid_23_wasm_tests]" ) {
182 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.23.wasm");
183 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
184}
185
186BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_24_wasm>", "[unreached-invalid_24_wasm_tests]" ) {
188 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.24.wasm");
189 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
190}
191
192BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_25_wasm>", "[unreached-invalid_25_wasm_tests]" ) {
194 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.25.wasm");
195 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
196}
197
198BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_26_wasm>", "[unreached-invalid_26_wasm_tests]" ) {
200 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.26.wasm");
201 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
202}
203
204BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_27_wasm>", "[unreached-invalid_27_wasm_tests]" ) {
206 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.27.wasm");
207 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
208}
209
210BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_28_wasm>", "[unreached-invalid_28_wasm_tests]" ) {
212 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.28.wasm");
213 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
214}
215
216BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_29_wasm>", "[unreached-invalid_29_wasm_tests]" ) {
218 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.29.wasm");
219 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
220}
221
222BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_3_wasm>", "[unreached-invalid_3_wasm_tests]" ) {
224 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.3.wasm");
225 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
226}
227
228BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_30_wasm>", "[unreached-invalid_30_wasm_tests]" ) {
230 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.30.wasm");
231 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
232}
233
234BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_31_wasm>", "[unreached-invalid_31_wasm_tests]" ) {
236 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.31.wasm");
237 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
238}
239
240BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_32_wasm>", "[unreached-invalid_32_wasm_tests]" ) {
242 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.32.wasm");
243 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
244}
245
246BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_33_wasm>", "[unreached-invalid_33_wasm_tests]" ) {
248 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.33.wasm");
249 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
250}
251
252BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_34_wasm>", "[unreached-invalid_34_wasm_tests]" ) {
254 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.34.wasm");
255 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
256}
257
258BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_35_wasm>", "[unreached-invalid_35_wasm_tests]" ) {
260 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.35.wasm");
261 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
262}
263
264BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_36_wasm>", "[unreached-invalid_36_wasm_tests]" ) {
266 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.36.wasm");
267 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
268}
269
270BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_37_wasm>", "[unreached-invalid_37_wasm_tests]" ) {
272 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.37.wasm");
273 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
274}
275
276BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_38_wasm>", "[unreached-invalid_38_wasm_tests]" ) {
278 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.38.wasm");
279 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
280}
281
282BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_39_wasm>", "[unreached-invalid_39_wasm_tests]" ) {
284 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.39.wasm");
285 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
286}
287
288BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_4_wasm>", "[unreached-invalid_4_wasm_tests]" ) {
290 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.4.wasm");
291 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
292}
293
294BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_40_wasm>", "[unreached-invalid_40_wasm_tests]" ) {
296 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.40.wasm");
297 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
298}
299
300BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_41_wasm>", "[unreached-invalid_41_wasm_tests]" ) {
302 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.41.wasm");
303 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
304}
305
306BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_42_wasm>", "[unreached-invalid_42_wasm_tests]" ) {
308 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.42.wasm");
309 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
310}
311
312BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_43_wasm>", "[unreached-invalid_43_wasm_tests]" ) {
314 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.43.wasm");
315 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
316}
317
318BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_44_wasm>", "[unreached-invalid_44_wasm_tests]" ) {
320 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.44.wasm");
321 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
322}
323
324BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_45_wasm>", "[unreached-invalid_45_wasm_tests]" ) {
326 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.45.wasm");
327 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
328}
329
330BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_46_wasm>", "[unreached-invalid_46_wasm_tests]" ) {
332 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.46.wasm");
333 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
334}
335
336BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_47_wasm>", "[unreached-invalid_47_wasm_tests]" ) {
338 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.47.wasm");
339 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
340}
341
342BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_48_wasm>", "[unreached-invalid_48_wasm_tests]" ) {
344 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.48.wasm");
345 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
346}
347
348BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_49_wasm>", "[unreached-invalid_49_wasm_tests]" ) {
350 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.49.wasm");
351 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
352}
353
354BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_5_wasm>", "[unreached-invalid_5_wasm_tests]" ) {
356 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.5.wasm");
357 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
358}
359
360BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_50_wasm>", "[unreached-invalid_50_wasm_tests]" ) {
362 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.50.wasm");
363 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
364}
365
366BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_51_wasm>", "[unreached-invalid_51_wasm_tests]" ) {
368 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.51.wasm");
369 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
370}
371
372BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_52_wasm>", "[unreached-invalid_52_wasm_tests]" ) {
374 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.52.wasm");
375 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
376}
377
378BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_53_wasm>", "[unreached-invalid_53_wasm_tests]" ) {
380 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.53.wasm");
381 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
382}
383
384BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_54_wasm>", "[unreached-invalid_54_wasm_tests]" ) {
386 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.54.wasm");
387 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
388}
389
390BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_55_wasm>", "[unreached-invalid_55_wasm_tests]" ) {
392 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.55.wasm");
393 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
394}
395
396BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_56_wasm>", "[unreached-invalid_56_wasm_tests]" ) {
398 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.56.wasm");
399 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
400}
401
402BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_57_wasm>", "[unreached-invalid_57_wasm_tests]" ) {
404 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.57.wasm");
405 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
406}
407
408BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_58_wasm>", "[unreached-invalid_58_wasm_tests]" ) {
410 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.58.wasm");
411 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
412}
413
414BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_59_wasm>", "[unreached-invalid_59_wasm_tests]" ) {
416 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.59.wasm");
417 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
418}
419
420BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_6_wasm>", "[unreached-invalid_6_wasm_tests]" ) {
422 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.6.wasm");
423 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
424}
425
426BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_60_wasm>", "[unreached-invalid_60_wasm_tests]" ) {
428 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.60.wasm");
429 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
430}
431
432BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_61_wasm>", "[unreached-invalid_61_wasm_tests]" ) {
434 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.61.wasm");
435 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
436}
437
438BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_62_wasm>", "[unreached-invalid_62_wasm_tests]" ) {
440 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.62.wasm");
441 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
442}
443
444BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_63_wasm>", "[unreached-invalid_63_wasm_tests]" ) {
446 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.63.wasm");
447 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
448}
449
450BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_64_wasm>", "[unreached-invalid_64_wasm_tests]" ) {
452 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.64.wasm");
453 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
454}
455
456BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_65_wasm>", "[unreached-invalid_65_wasm_tests]" ) {
458 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.65.wasm");
459 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
460}
461
462BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_66_wasm>", "[unreached-invalid_66_wasm_tests]" ) {
464 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.66.wasm");
465 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
466}
467
468BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_67_wasm>", "[unreached-invalid_67_wasm_tests]" ) {
470 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.67.wasm");
471 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
472}
473
474BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_68_wasm>", "[unreached-invalid_68_wasm_tests]" ) {
476 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.68.wasm");
477 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
478}
479
480BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_69_wasm>", "[unreached-invalid_69_wasm_tests]" ) {
482 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.69.wasm");
483 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
484}
485
486BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_7_wasm>", "[unreached-invalid_7_wasm_tests]" ) {
488 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.7.wasm");
489 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
490}
491
492BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_70_wasm>", "[unreached-invalid_70_wasm_tests]" ) {
494 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.70.wasm");
495 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
496}
497
498BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_71_wasm>", "[unreached-invalid_71_wasm_tests]" ) {
500 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.71.wasm");
501 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
502}
503
504BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_72_wasm>", "[unreached-invalid_72_wasm_tests]" ) {
506 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.72.wasm");
507 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
508}
509
510BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_73_wasm>", "[unreached-invalid_73_wasm_tests]" ) {
512 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.73.wasm");
513 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
514}
515
516BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_74_wasm>", "[unreached-invalid_74_wasm_tests]" ) {
518 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.74.wasm");
519 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
520}
521
522BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_75_wasm>", "[unreached-invalid_75_wasm_tests]" ) {
524 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.75.wasm");
525 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
526}
527
528BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_76_wasm>", "[unreached-invalid_76_wasm_tests]" ) {
530 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.76.wasm");
531 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
532}
533
534BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_77_wasm>", "[unreached-invalid_77_wasm_tests]" ) {
536 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.77.wasm");
537 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
538}
539
540BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_78_wasm>", "[unreached-invalid_78_wasm_tests]" ) {
542 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.78.wasm");
543 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
544}
545
546BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_79_wasm>", "[unreached-invalid_79_wasm_tests]" ) {
548 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.79.wasm");
549 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
550}
551
552BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_8_wasm>", "[unreached-invalid_8_wasm_tests]" ) {
554 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.8.wasm");
555 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
556}
557
558BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_80_wasm>", "[unreached-invalid_80_wasm_tests]" ) {
560 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.80.wasm");
561 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
562}
563
564BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_81_wasm>", "[unreached-invalid_81_wasm_tests]" ) {
566 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.81.wasm");
567 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
568}
569
570BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_82_wasm>", "[unreached-invalid_82_wasm_tests]" ) {
572 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.82.wasm");
573 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
574}
575
576BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_83_wasm>", "[unreached-invalid_83_wasm_tests]" ) {
578 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.83.wasm");
579 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
580}
581
582BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_84_wasm>", "[unreached-invalid_84_wasm_tests]" ) {
584 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.84.wasm");
585 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
586}
587
588BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_85_wasm>", "[unreached-invalid_85_wasm_tests]" ) {
590 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.85.wasm");
591 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
592}
593
594BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_86_wasm>", "[unreached-invalid_86_wasm_tests]" ) {
596 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.86.wasm");
597 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
598}
599
600BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_87_wasm>", "[unreached-invalid_87_wasm_tests]" ) {
602 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.87.wasm");
603 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
604}
605
606BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_88_wasm>", "[unreached-invalid_88_wasm_tests]" ) {
608 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.88.wasm");
609 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
610}
611
612BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_89_wasm>", "[unreached-invalid_89_wasm_tests]" ) {
614 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.89.wasm");
615 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
616}
617
618BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_9_wasm>", "[unreached-invalid_9_wasm_tests]" ) {
620 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.9.wasm");
621 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
622}
623
624BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_90_wasm>", "[unreached-invalid_90_wasm_tests]" ) {
626 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.90.wasm");
627 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
628}
629
630BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_91_wasm>", "[unreached-invalid_91_wasm_tests]" ) {
632 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.91.wasm");
633 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
634}
635
636BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_92_wasm>", "[unreached-invalid_92_wasm_tests]" ) {
638 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.92.wasm");
639 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
640}
641
642BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_93_wasm>", "[unreached-invalid_93_wasm_tests]" ) {
644 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.93.wasm");
645 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
646}
647
648BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_94_wasm>", "[unreached-invalid_94_wasm_tests]" ) {
650 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.94.wasm");
651 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
652}
653
654BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_95_wasm>", "[unreached-invalid_95_wasm_tests]" ) {
656 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.95.wasm");
657 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
658}
659
660BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_96_wasm>", "[unreached-invalid_96_wasm_tests]" ) {
662 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.96.wasm");
663 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
664}
665
666BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_97_wasm>", "[unreached-invalid_97_wasm_tests]" ) {
668 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.97.wasm");
669 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
670}
671
672BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_98_wasm>", "[unreached-invalid_98_wasm_tests]" ) {
674 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.98.wasm");
675 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
676}
677
678BACKEND_TEST_CASE( "Testing wasm <unreached-invalid_99_wasm>", "[unreached-invalid_99_wasm_tests]" ) {
680 auto code = read_wasm( std::string(wasm_directory) + "unreached-invalid.99.wasm");
681 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
682}
683
sysio::vm::backend< rhf_t > backend_t
#define CHECK_THROWS_AS(expr, exceptionType)
Definition catch.hpp:203
std::vector< uint8_t > read_wasm(const std::string &fname)
Definition utils.hpp:30
#define BACKEND_TEST_CASE(name, tags)
Definition utils.hpp:59
wasm_allocator wa
Definition main.cpp:10