#ifndef WASMI_CONFIG_H
#define WASMI_CONFIG_H
#include <wasm.h>
#ifdef __cplusplus
extern "C" {
#endif
#define WASMI_CONFIG_PROP(ret, name, ty) \
WASM_API_EXTERN ret wasmi_config_##name##_set(wasm_config_t *, ty);
WASMI_CONFIG_PROP(void, consume_fuel, bool)
WASMI_CONFIG_PROP(void, ignore_custom_sections, bool)
WASMI_CONFIG_PROP(void, wasm_mutable_globals, bool)
WASMI_CONFIG_PROP(void, wasm_multi_value, bool)
WASMI_CONFIG_PROP(void, wasm_sign_extension, bool)
WASMI_CONFIG_PROP(void, wasm_saturating_float_to_int, bool)
WASMI_CONFIG_PROP(void, wasm_bulk_memory, bool)
WASMI_CONFIG_PROP(void, wasm_reference_types, bool)
WASMI_CONFIG_PROP(void, wasm_tail_call, bool)
WASMI_CONFIG_PROP(void, wasm_extended_const, bool)
WASMI_CONFIG_PROP(void, floats, bool)
enum wasmi_compilation_mode_enum {
WASMI_COMPILATION_MODE_EAGER,
WASMI_COMPILATION_MODE_LAZY,
WASMI_COMPILATION_MODE_LAZY_TRANSLATION,
};
WASMI_CONFIG_PROP(void, compilation_mode, enum wasmi_compilation_mode_enum)
#undef WASMI_CONFIG_PROP
#ifdef __cplusplus
} #endif
#endif