#include <algorithm>
#include <vector>
#include <iostream>
#include <iterator>
#include <cmath>
#include <cstdlib>
#include <catch2/catch.hpp>
#include <utils.hpp>
#include <wasm_config.hpp>
#include <sysio/vm/backend.hpp>
Go to the source code of this file.
◆ BACKEND_TEST_CASE() [1/3]
BACKEND_TEST_CASE |
( |
"Testing wasm <type_0_wasm>" | , |
|
|
"" | [type_0_wasm_tests] ) |
Definition at line 18 of file type_tests.cpp.
18 {
20 auto code =
read_wasm( std::string(wasm_directory) +
"type.0.wasm");
22
23}
backend_t bkend(hello_wasm, ehm, &wa)
std::vector< uint8_t > read_wasm(const std::string &fname)
◆ BACKEND_TEST_CASE() [2/3]
BACKEND_TEST_CASE |
( |
"Testing wasm <type_3_wasm>" | , |
|
|
"" | [type_3_wasm_tests] ) |
Definition at line 25 of file type_tests.cpp.
25 {
27 auto code =
read_wasm( std::string(wasm_directory) +
"type.3.wasm");
29}
sysio::vm::backend< rhf_t > backend_t
#define CHECK_THROWS_AS(expr, exceptionType)
◆ BACKEND_TEST_CASE() [3/3]
BACKEND_TEST_CASE |
( |
"Testing wasm <type_4_wasm>" | , |
|
|
"" | [type_4_wasm_tests] ) |
Definition at line 31 of file type_tests.cpp.
31 {
33 auto code =
read_wasm( std::string(wasm_directory) +
"type.4.wasm");
35}
◆ wa