max_linear_memory_init_tests.cpp File Reference

#include <sysio/vm/backend.hpp>
#include "utils.hpp"
#include <catch2/catch.hpp>

Include dependency graph for max_linear_memory_init_tests.cpp:

Go to the source code of this file.

Functions
	BACKEND_TEST_CASE ("Test max_linear_memory_init default", "[max_linear_memory_init_test]")
	BACKEND_TEST_CASE ("Test max_linear_memory_init static", "[max_linear_memory_init_test]")
	BACKEND_TEST_CASE ("Test max_linear_memory_init unlimited", "[max_linear_memory_init_test]")
	BACKEND_TEST_CASE ("Test max_linear_memory_init dynamic", "[max_linear_memory_init_test]")

Variables
wasm_allocator	wa

Function Documentation

BACKEND_TEST_CASE() [1/4]

BACKEND_TEST_CASE	(	"Test max_linear_memory_init default"	,
		""	[max_linear_memory_init_test] )

Definition at line 95 of file max_linear_memory_init_tests.cpp.

                                                                                          {
   using backend_t = backend<std::nullptr_t, TestType>;
   backend_t backendfull12(full_12_data_wasm, &wa);
   backend_t backendempty12(empty_12_data_wasm, &wa);
   backend_t backendempty13(empty_13_data_wasm, &wa);
   backend_t backendone11(one_11_data_wasm, &wa);
   backend_t backendone12(one_12_data_wasm, &wa);
   // This is well formed but should fail linking
   CHECK_THROWS_AS(backend_t(wrap_data_wasm, &wa), wasm_memory_exception);
}

BACKEND_TEST_CASE() [2/4]

BACKEND_TEST_CASE	(	"Test max_linear_memory_init dynamic"	,
		""	[max_linear_memory_init_test] )

Definition at line 126 of file max_linear_memory_init_tests.cpp.

                                                                                          {
   using backend_t = backend<std::nullptr_t, TestType, dynamic_options>;
   backend_t backendfull12(full_12_data_wasm, nullptr, dynamic_options{12});
   backend_t backendempty12(empty_12_data_wasm, nullptr, dynamic_options{12});
   CHECK_THROWS_AS(backend_t(empty_13_data_wasm, nullptr, dynamic_options{12}), wasm_parse_exception);
   backend_t backendone11(one_11_data_wasm, nullptr, dynamic_options{12});
   CHECK_THROWS_AS(backend_t(one_12_data_wasm, nullptr, dynamic_options{12}), wasm_parse_exception);
   CHECK_THROWS_AS(backend_t(wrap_data_wasm, nullptr, dynamic_options{12}), wasm_parse_exception);
}

BACKEND_TEST_CASE() [3/4]

BACKEND_TEST_CASE	(	"Test max_linear_memory_init static"	,
		""	[max_linear_memory_init_test] )

Definition at line 106 of file max_linear_memory_init_tests.cpp.

                                                                                         {
   using backend_t = backend<std::nullptr_t, TestType, static_options>;
   backend_t backendfull12(full_12_data_wasm, &wa);
   backend_t backendempty12(empty_12_data_wasm, &wa);
   CHECK_THROWS_AS(backend_t(empty_13_data_wasm, &wa), wasm_parse_exception);
   backend_t backendone11(one_11_data_wasm, &wa);
   CHECK_THROWS_AS(backend_t(one_12_data_wasm, &wa), wasm_parse_exception);
   CHECK_THROWS_AS(backend_t(wrap_data_wasm, &wa), wasm_parse_exception);
}

BACKEND_TEST_CASE() [4/4]

BACKEND_TEST_CASE	(	"Test max_linear_memory_init unlimited"	,
		""	[max_linear_memory_init_test] )

Definition at line 116 of file max_linear_memory_init_tests.cpp.

                                                                                            {
   using backend_t = backend<std::nullptr_t, TestType, empty_options>;
   backend_t backendfull12(full_12_data_wasm, &wa);
   backend_t backendempty12(empty_12_data_wasm, &wa);
   backend_t backendempty13(empty_13_data_wasm, &wa);
   backend_t backendone11(one_11_data_wasm, &wa);
   backend_t backendone12(one_12_data_wasm, &wa);
   CHECK_THROWS_AS(backend_t(wrap_data_wasm, &wa), wasm_memory_exception);
}

Variable Documentation

wa

wasm_allocator wa

extern

Definition at line 10 of file main.cpp.