Skip to content

Commit

Permalink
Disable extensions in wabt_engine
Browse files Browse the repository at this point in the history
  • Loading branch information
gumb0 committed Sep 15, 2020
1 parent ffed93b commit 77dc7c8
Showing 1 changed file with 14 additions and 1 deletion.
15 changes: 14 additions & 1 deletion test/utils/wabt_engine.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,22 @@

namespace fizzy::test
{
namespace
{
const wabt::Features get_features()
{
static wabt::Features features;
features.disable_multi_value();
features.disable_sat_float_to_int();
features.disable_sign_extension();
return features;
}
}

class WabtEngine final : public WasmEngine
{
mutable wabt::interp::Store m_store; // getting RefPtr from Ref requires non-const Store
// mutable because getting RefPtr from Ref requires non-const Store
mutable wabt::interp::Store m_store{get_features()};
wabt::interp::Module::Ptr m_module;
wabt::interp::Instance::Ptr m_instance;

Expand Down

0 comments on commit 77dc7c8

Please sign in to comment.