fac_tests.cpp File Reference

#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>

Include dependency graph for fac_tests.cpp:

Go to the source code of this file.

Functions
	BACKEND_TEST_CASE ("Testing wasm <fac_0_wasm>", "[fac_0_wasm_tests]")

Variables
wasm_allocator	wa

Function Documentation

BACKEND_TEST_CASE()

BACKEND_TEST_CASE	(	"Testing wasm <fac_0_wasm>"	,
		""	[fac_0_wasm_tests] )

Definition at line 18 of file fac_tests.cpp.

                                                                       {
   using backend_t = backend<standalone_function_t, TestType>;
   auto code = read_wasm( std::string(wasm_directory) + "fac.0.wasm");
   backend_t bkend( code, &wa );
 
   CHECK(bkend.call_with_return("env", "fac-rec", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
   CHECK(bkend.call_with_return("env", "fac-iter", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
   CHECK(bkend.call_with_return("env", "fac-rec-named", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
   CHECK(bkend.call_with_return("env", "fac-iter-named", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
   CHECK(bkend.call_with_return("env", "fac-opt", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
}

Here is the call graph for this function:

Variable Documentation

wa

wasm_allocator wa

extern

Definition at line 10 of file main.cpp.