The check needs to verify that the maximum number of memories is precisely one to ensure that multi-memory is disabled yet modules can still have up to one memory as configured in the pooling allocator.
The check needs to verify that the maximum number of memories is precisely one to ensure that multi-memory is disabled yet modules can still have up to one memory as configured in the pooling allocator.