test: generate PHPUnit classes from WAST files

1 files changed, 1208 insertions, 0 deletions

diff --git a/tests/src/SpecTestsuites/Core/BulkTest.php b/tests/src/SpecTestsuites/Core/BulkTest.php
new file mode 100644
index 0000000..3b3ff70
--- /dev/null
+++ b/tests/src/SpecTestsuites/Core/BulkTest.php
@@ -0,0 +1,1208 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core;
+
+use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase;
+use PHPUnit\Framework\Attributes\Depends;
+
+final class BulkTest extends SpecTestsuiteBase
+{
+    public function testModule0(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.0.wasm',
+            name: null,
+            line: 2,
+        );
+    }
+
+    #[Depends('testModule0')]
+    public function testModule1(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.1.wasm',
+            name: null,
+            line: 6,
+        );
+    }
+
+    #[Depends('testModule1')]
+    public function testModule2(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.2.wasm',
+            name: null,
+            line: 13,
+        );
+    }
+
+    #[Depends('testModule2')]
+    public function testAction3(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '255'], ['type' => 'i32', 'value' => '3']]],
+            line: 27,
+        );
+    }
+
+    #[Depends('testAction3')]
+    public function testAssertReturn4(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 28,
+        );
+    }
+
+    #[Depends('testAssertReturn4')]
+    public function testAssertReturn5(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '255']],
+            line: 29,
+        );
+    }
+
+    #[Depends('testAssertReturn5')]
+    public function testAssertReturn6(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '255']],
+            line: 30,
+        );
+    }
+
+    #[Depends('testAssertReturn6')]
+    public function testAssertReturn7(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '255']],
+            line: 31,
+        );
+    }
+
+    #[Depends('testAssertReturn7')]
+    public function testAssertReturn8(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '4']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 32,
+        );
+    }
+
+    #[Depends('testAssertReturn8')]
+    public function testAction9(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '48042'], ['type' => 'i32', 'value' => '2']]],
+            line: 35,
+        );
+    }
+
+    #[Depends('testAction9')]
+    public function testAssertReturn10(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '170']],
+            line: 36,
+        );
+    }
+
+    #[Depends('testAssertReturn10')]
+    public function testAssertReturn11(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '170']],
+            line: 37,
+        );
+    }
+
+    #[Depends('testAssertReturn11')]
+    public function testAction12(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65536']]],
+            line: 40,
+        );
+    }
+
+    #[Depends('testAction12')]
+    public function testAssertTrap13(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '257']]],
+            text: 'out of bounds memory access',
+            line: 43,
+        );
+    }
+
+    #[Depends('testAssertTrap13')]
+    public function testAssertReturn14(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65280']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 45,
+        );
+    }
+
+    #[Depends('testAssertReturn14')]
+    public function testAssertReturn15(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65535']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 46,
+        );
+    }
+
+    #[Depends('testAssertReturn15')]
+    public function testAction16(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            line: 49,
+        );
+    }
+
+    #[Depends('testAction16')]
+    public function testAssertTrap17(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'fill', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds memory access',
+            line: 52,
+        );
+    }
+
+    #[Depends('testAssertTrap17')]
+    public function testModule18(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.3.wasm',
+            name: null,
+            line: 57,
+        );
+    }
+
+    #[Depends('testModule18')]
+    public function testAction19(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4']]],
+            line: 71,
+        );
+    }
+
+    #[Depends('testAction19')]
+    public function testAssertReturn20(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '9']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 73,
+        );
+    }
+
+    #[Depends('testAssertReturn20')]
+    public function testAssertReturn21(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]],
+            expected: [['type' => 'i32', 'value' => '170']],
+            line: 74,
+        );
+    }
+
+    #[Depends('testAssertReturn21')]
+    public function testAssertReturn22(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]],
+            expected: [['type' => 'i32', 'value' => '187']],
+            line: 75,
+        );
+    }
+
+    #[Depends('testAssertReturn22')]
+    public function testAssertReturn23(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '204']],
+            line: 76,
+        );
+    }
+
+    #[Depends('testAssertReturn23')]
+    public function testAssertReturn24(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]],
+            expected: [['type' => 'i32', 'value' => '221']],
+            line: 77,
+        );
+    }
+
+    #[Depends('testAssertReturn24')]
+    public function testAssertReturn25(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '14']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 78,
+        );
+    }
+
+    #[Depends('testAssertReturn25')]
+    public function testAction26(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '4']]],
+            line: 81,
+        );
+    }
+
+    #[Depends('testAction26')]
+    public function testAssertReturn27(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '8']]],
+            expected: [['type' => 'i32', 'value' => '170']],
+            line: 82,
+        );
+    }
+
+    #[Depends('testAssertReturn27')]
+    public function testAssertReturn28(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '9']]],
+            expected: [['type' => 'i32', 'value' => '187']],
+            line: 83,
+        );
+    }
+
+    #[Depends('testAssertReturn28')]
+    public function testAssertReturn29(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]],
+            expected: [['type' => 'i32', 'value' => '204']],
+            line: 84,
+        );
+    }
+
+    #[Depends('testAssertReturn29')]
+    public function testAssertReturn30(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]],
+            expected: [['type' => 'i32', 'value' => '221']],
+            line: 85,
+        );
+    }
+
+    #[Depends('testAssertReturn30')]
+    public function testAssertReturn31(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '204']],
+            line: 86,
+        );
+    }
+
+    #[Depends('testAssertReturn31')]
+    public function testAssertReturn32(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]],
+            expected: [['type' => 'i32', 'value' => '221']],
+            line: 87,
+        );
+    }
+
+    #[Depends('testAssertReturn32')]
+    public function testAction33(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '7'], ['type' => 'i32', 'value' => '6']]],
+            line: 90,
+        );
+    }
+
+    #[Depends('testAction33')]
+    public function testAssertReturn34(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '10']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 91,
+        );
+    }
+
+    #[Depends('testAssertReturn34')]
+    public function testAssertReturn35(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '11']]],
+            expected: [['type' => 'i32', 'value' => '170']],
+            line: 92,
+        );
+    }
+
+    #[Depends('testAssertReturn35')]
+    public function testAssertReturn36(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '12']]],
+            expected: [['type' => 'i32', 'value' => '187']],
+            line: 93,
+        );
+    }
+
+    #[Depends('testAssertReturn36')]
+    public function testAssertReturn37(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '13']]],
+            expected: [['type' => 'i32', 'value' => '204']],
+            line: 94,
+        );
+    }
+
+    #[Depends('testAssertReturn37')]
+    public function testAssertReturn38(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '14']]],
+            expected: [['type' => 'i32', 'value' => '221']],
+            line: 95,
+        );
+    }
+
+    #[Depends('testAssertReturn38')]
+    public function testAssertReturn39(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '15']]],
+            expected: [['type' => 'i32', 'value' => '204']],
+            line: 96,
+        );
+    }
+
+    #[Depends('testAssertReturn39')]
+    public function testAssertReturn40(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '16']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 97,
+        );
+    }
+
+    #[Depends('testAssertReturn40')]
+    public function testAction41(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '256']]],
+            line: 100,
+        );
+    }
+
+    #[Depends('testAction41')]
+    public function testAction42(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65024'], ['type' => 'i32', 'value' => '65280'], ['type' => 'i32', 'value' => '256']]],
+            line: 101,
+        );
+    }
+
+    #[Depends('testAction42')]
+    public function testAction43(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            line: 104,
+        );
+    }
+
+    #[Depends('testAction43')]
+    public function testAction44(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0']]],
+            line: 105,
+        );
+    }
+
+    #[Depends('testAction44')]
+    public function testAssertTrap45(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds memory access',
+            line: 108,
+        );
+    }
+
+    #[Depends('testAssertTrap45')]
+    public function testAssertTrap46(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds memory access',
+            line: 110,
+        );
+    }
+
+    #[Depends('testAssertTrap46')]
+    public function testModule47(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.4.wasm',
+            name: null,
+            line: 115,
+        );
+    }
+
+    #[Depends('testModule47')]
+    public function testAction48(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2']]],
+            line: 129,
+        );
+    }
+
+    #[Depends('testAction48')]
+    public function testAssertReturn49(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '187']],
+            line: 130,
+        );
+    }
+
+    #[Depends('testAssertReturn49')]
+    public function testAssertReturn50(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '204']],
+            line: 131,
+        );
+    }
+
+    #[Depends('testAssertReturn50')]
+    public function testAssertReturn51(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 132,
+        );
+    }
+
+    #[Depends('testAssertReturn51')]
+    public function testAction52(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65532'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4']]],
+            line: 135,
+        );
+    }
+
+    #[Depends('testAction52')]
+    public function testAssertTrap53(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65534'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]],
+            text: 'out of bounds memory access',
+            line: 138,
+        );
+    }
+
+    #[Depends('testAssertTrap53')]
+    public function testAssertReturn54(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65534']]],
+            expected: [['type' => 'i32', 'value' => '204']],
+            line: 140,
+        );
+    }
+
+    #[Depends('testAssertReturn54')]
+    public function testAssertReturn55(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'load8_u', 'args' => [['type' => 'i32', 'value' => '65535']]],
+            expected: [['type' => 'i32', 'value' => '221']],
+            line: 141,
+        );
+    }
+
+    #[Depends('testAssertReturn55')]
+    public function testAction56(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65536'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            line: 144,
+        );
+    }
+
+    #[Depends('testAction56')]
+    public function testAction57(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0']]],
+            line: 145,
+        );
+    }
+
+    #[Depends('testAction57')]
+    public function testAssertTrap58(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '65537'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds memory access',
+            line: 148,
+        );
+    }
+
+    #[Depends('testAssertTrap58')]
+    public function testAssertTrap59(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '5'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds memory access',
+            line: 150,
+        );
+    }
+
+    #[Depends('testAssertTrap59')]
+    public function testModule60(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.5.wasm',
+            name: null,
+            line: 154,
+        );
+    }
+
+    #[Depends('testModule60')]
+    public function testAction61(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
+            line: 168,
+        );
+    }
+
+    #[Depends('testAction61')]
+    public function testAction62(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
+            line: 169,
+        );
+    }
+
+    #[Depends('testAction62')]
+    public function testAction63(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
+            line: 170,
+        );
+    }
+
+    #[Depends('testAction63')]
+    public function testAssertReturn64(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [],
+            line: 171,
+        );
+    }
+
+    #[Depends('testAssertReturn64')]
+    public function testAssertTrap65(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
+            text: 'out of bounds memory access',
+            line: 172,
+        );
+    }
+
+    #[Depends('testAssertTrap65')]
+    public function testAction66(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
+            line: 173,
+        );
+    }
+
+    #[Depends('testAction66')]
+    public function testAction67(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'drop_active', 'args' => []],
+            line: 174,
+        );
+    }
+
+    #[Depends('testAction67')]
+    public function testAssertReturn68(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [],
+            line: 175,
+        );
+    }
+
+    #[Depends('testAssertReturn68')]
+    public function testAssertTrap69(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '1']]],
+            text: 'out of bounds memory access',
+            line: 176,
+        );
+    }
+
+    #[Depends('testAssertTrap69')]
+    public function testAction70(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
+            line: 177,
+        );
+    }
+
+    #[Depends('testAction70')]
+    public function testModule71(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.6.wasm',
+            name: null,
+            line: 181,
+        );
+    }
+
+    #[Depends('testModule71')]
+    public function testModule72(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.7.wasm',
+            name: null,
+            line: 196,
+        );
+    }
+
+    #[Depends('testModule72')]
+    public function testModule73(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.8.wasm',
+            name: null,
+            line: 199,
+        );
+    }
+
+    #[Depends('testModule73')]
+    public function testAssertTrap74(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '2']]],
+            text: 'out of bounds table access',
+            line: 219,
+        );
+    }
+
+    #[Depends('testAssertTrap74')]
+    public function testAssertTrap75(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            text: 'uninitialized element 2',
+            line: 221,
+        );
+    }
+
+    #[Depends('testAssertTrap75')]
+    public function testAction76(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2']]],
+            line: 224,
+        );
+    }
+
+    #[Depends('testAction76')]
+    public function testAssertReturn77(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '1']],
+            line: 225,
+        );
+    }
+
+    #[Depends('testAssertReturn77')]
+    public function testAssertReturn78(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 226,
+        );
+    }
+
+    #[Depends('testAssertReturn78')]
+    public function testAssertTrap79(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            text: 'uninitialized element',
+            line: 227,
+        );
+    }
+
+    #[Depends('testAssertTrap79')]
+    public function testAction80(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '2']]],
+            line: 230,
+        );
+    }
+
+    #[Depends('testAction80')]
+    public function testAction81(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '3'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            line: 233,
+        );
+    }
+
+    #[Depends('testAction81')]
+    public function testAction82(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0']]],
+            line: 234,
+        );
+    }
+
+    #[Depends('testAction82')]
+    public function testAssertTrap83(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '4'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds table access',
+            line: 237,
+        );
+    }
+
+    #[Depends('testAssertTrap83')]
+    public function testAssertTrap84(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '5'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds table access',
+            line: 239,
+        );
+    }
+
+    #[Depends('testAssertTrap84')]
+    public function testModule85(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.9.wasm',
+            name: null,
+            line: 244,
+        );
+    }
+
+    #[Depends('testModule85')]
+    public function testAction86(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
+            line: 261,
+        );
+    }
+
+    #[Depends('testAction86')]
+    public function testAction87(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
+            line: 262,
+        );
+    }
+
+    #[Depends('testAction87')]
+    public function testAction88(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'drop_passive', 'args' => []],
+            line: 263,
+        );
+    }
+
+    #[Depends('testAction88')]
+    public function testAssertReturn89(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [],
+            line: 264,
+        );
+    }
+
+    #[Depends('testAssertReturn89')]
+    public function testAssertTrap90(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '1']]],
+            text: 'out of bounds table access',
+            line: 265,
+        );
+    }
+
+    #[Depends('testAssertTrap90')]
+    public function testAction91(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init_passive', 'args' => [['type' => 'i32', 'value' => '0']]],
+            line: 266,
+        );
+    }
+
+    #[Depends('testAction91')]
+    public function testAction92(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'drop_active', 'args' => []],
+            line: 267,
+        );
+    }
+
+    #[Depends('testAction92')]
+    public function testAssertReturn93(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [],
+            line: 268,
+        );
+    }
+
+    #[Depends('testAssertReturn93')]
+    public function testAssertTrap94(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '1']]],
+            text: 'out of bounds table access',
+            line: 269,
+        );
+    }
+
+    #[Depends('testAssertTrap94')]
+    public function testAction95(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'init_active', 'args' => [['type' => 'i32', 'value' => '0']]],
+            line: 270,
+        );
+    }
+
+    #[Depends('testAction95')]
+    public function testModule96(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.10.wasm',
+            name: null,
+            line: 274,
+        );
+    }
+
+    #[Depends('testModule96')]
+    public function testModule97(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.11.wasm',
+            name: null,
+            line: 297,
+        );
+    }
+
+    #[Depends('testModule97')]
+    public function testModule98(): void
+    {
+        $this->runModuleCommand(
+            filename: 'bulk.12.wasm',
+            name: null,
+            line: 300,
+        );
+    }
+
+    #[Depends('testModule98')]
+    public function testAction99(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '3'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]],
+            line: 319,
+        );
+    }
+
+    #[Depends('testAction99')]
+    public function testAssertReturn100(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 321,
+        );
+    }
+
+    #[Depends('testAssertReturn100')]
+    public function testAssertReturn101(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '4']]],
+            expected: [['type' => 'i32', 'value' => '1']],
+            line: 322,
+        );
+    }
+
+    #[Depends('testAssertReturn101')]
+    public function testAssertReturn102(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '5']]],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 323,
+        );
+    }
+
+    #[Depends('testAssertReturn102')]
+    public function testAction103(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '1'], ['type' => 'i32', 'value' => '3']]],
+            line: 326,
+        );
+    }
+
+    #[Depends('testAction103')]
+    public function testAssertReturn104(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '0']]],
+            expected: [['type' => 'i32', 'value' => '1']],
+            line: 328,
+        );
+    }
+
+    #[Depends('testAssertReturn104')]
+    public function testAssertReturn105(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '1']]],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 329,
+        );
+    }
+
+    #[Depends('testAssertReturn105')]
+    public function testAssertReturn106(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 330,
+        );
+    }
+
+    #[Depends('testAssertReturn106')]
+    public function testAction107(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '2'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '3']]],
+            line: 333,
+        );
+    }
+
+    #[Depends('testAction107')]
+    public function testAssertReturn108(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '2']]],
+            expected: [['type' => 'i32', 'value' => '1']],
+            line: 335,
+        );
+    }
+
+    #[Depends('testAssertReturn108')]
+    public function testAssertReturn109(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '3']]],
+            expected: [['type' => 'i32', 'value' => '2']],
+            line: 336,
+        );
+    }
+
+    #[Depends('testAssertReturn109')]
+    public function testAssertReturn110(): void
+    {
+        $this->runAssertReturnCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'call', 'args' => [['type' => 'i32', 'value' => '4']]],
+            expected: [['type' => 'i32', 'value' => '0']],
+            line: 337,
+        );
+    }
+
+    #[Depends('testAssertReturn110')]
+    public function testAction111(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '6'], ['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '2']]],
+            line: 340,
+        );
+    }
+
+    #[Depends('testAction111')]
+    public function testAction112(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '8'], ['type' => 'i32', 'value' => '6'], ['type' => 'i32', 'value' => '2']]],
+            line: 341,
+        );
+    }
+
+    #[Depends('testAction112')]
+    public function testAction113(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            line: 344,
+        );
+    }
+
+    #[Depends('testAction113')]
+    public function testAction114(): void
+    {
+        $this->runActionCommand(
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '10'], ['type' => 'i32', 'value' => '0']]],
+            line: 345,
+        );
+    }
+
+    #[Depends('testAction114')]
+    public function testAssertTrap115(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '11'], ['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds table access',
+            line: 348,
+        );
+    }
+
+    #[Depends('testAssertTrap115')]
+    public function testAssertTrap116(): void
+    {
+        $this->runAssertTrapCommand(
+            module: null,
+            action: ['type' => 'invoke', 'field' => 'copy', 'args' => [['type' => 'i32', 'value' => '0'], ['type' => 'i32', 'value' => '11'], ['type' => 'i32', 'value' => '0']]],
+            text: 'out of bounds table access',
+            line: 350,
+        );
+    }
+}