diff options
Diffstat (limited to 'src/Execution/Allocator.php')
| -rw-r--r-- | src/Execution/Allocator.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Execution/Allocator.php b/src/Execution/Allocator.php index 89e1f83..8012078 100644 --- a/src/Execution/Allocator.php +++ b/src/Execution/Allocator.php @@ -130,6 +130,8 @@ final readonly class Allocator private function allocMem(MemType $memType): MemAddr { $minSize = $memType->limits->min; + // @todo hack + $minSize *= 8; $data = array_fill(0, $minSize * 64 * 1024, 0); $memInst = new MemInst($memType, $data); $this->store->mems[] = $memInst; |
