| 11 | |
| 12 | impl SpecInterpreter { |
| 13 | pub(crate) fn new(config: &mut Config) -> Self { |
| 14 | let config = &mut config.module_config.config; |
| 15 | |
| 16 | config.min_memories = config.min_memories.min(1); |
| 17 | config.max_memories = config.max_memories.min(1); |
| 18 | config.min_tables = config.min_tables.min(1); |
| 19 | config.max_tables = config.max_tables.min(1); |
| 20 | |
| 21 | config.memory64_enabled = false; |
| 22 | config.threads_enabled = false; |
| 23 | config.bulk_memory_enabled = false; |
| 24 | config.reference_types_enabled = false; |
| 25 | config.tail_call_enabled = false; |
| 26 | config.relaxed_simd_enabled = false; |
| 27 | config.custom_page_sizes_enabled = false; |
| 28 | config.wide_arithmetic_enabled = false; |
| 29 | config.extended_const_enabled = false; |
| 30 | config.exceptions_enabled = false; |
| 31 | |
| 32 | Self |
| 33 | } |
| 34 | } |
| 35 | |
| 36 | impl DiffEngine for SpecInterpreter { |