Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 423bebf0f70922c1ded524fc921726c41dc42558..4149f572eab99222015d8be1ce02117cfb308c39 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -504,6 +504,8 @@ DEFINE_BOOL(wasm_disable_structured_cloning, false, |
DEFINE_INT(wasm_num_compilation_tasks, 10, |
"number of parallel compilation tasks for wasm") |
DEFINE_UINT(wasm_max_mem_pages, 16384, "maximum memory size of a wasm instance") |
+DEFINE_UINT(wasm_max_table_size, 10000000, |
titzer
2017/01/23 18:35:00
I think it'd be nicer if this used the value defin
|
+ "maximum table size of a wasm instance") |
DEFINE_BOOL(trace_wasm_encoder, false, "trace encoding of wasm code") |
DEFINE_BOOL(trace_wasm_decoder, false, "trace decoding of wasm code") |
DEFINE_BOOL(trace_wasm_decode_time, false, "trace decoding time of wasm code") |