aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/src/SpecTestsuites/Core/AddressTest.php
diff options
context:
space:
mode:
Diffstat (limited to 'tests/src/SpecTestsuites/Core/AddressTest.php')
-rw-r--r--tests/src/SpecTestsuites/Core/AddressTest.php2862
1 files changed, 2862 insertions, 0 deletions
diff --git a/tests/src/SpecTestsuites/Core/AddressTest.php b/tests/src/SpecTestsuites/Core/AddressTest.php
new file mode 100644
index 0000000..5ea5da6
--- /dev/null
+++ b/tests/src/SpecTestsuites/Core/AddressTest.php
@@ -0,0 +1,2862 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core;
+
+use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase;
+use PHPUnit\Framework\Attributes\Depends;
+use PHPUnit\Framework\Attributes\DoesNotPerformAssertions;
+
+final class AddressTest extends SpecTestsuiteBase
+{
+ public function testModule0(): void
+ {
+ $this->runModuleCommand(
+ filename: 'address.0.wasm',
+ name: null,
+ line: 3,
+ );
+ }
+
+ #[Depends('testModule0')]
+ public function testAssertReturn1(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '97']],
+ line: 104,
+ );
+ }
+
+ #[Depends('testAssertReturn1')]
+ public function testAssertReturn2(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '97']],
+ line: 105,
+ );
+ }
+
+ #[Depends('testAssertReturn2')]
+ public function testAssertReturn3(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '98']],
+ line: 106,
+ );
+ }
+
+ #[Depends('testAssertReturn3')]
+ public function testAssertReturn4(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '99']],
+ line: 107,
+ );
+ }
+
+ #[Depends('testAssertReturn4')]
+ public function testAssertReturn5(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '122']],
+ line: 108,
+ );
+ }
+
+ #[Depends('testAssertReturn5')]
+ public function testAssertReturn6(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '97']],
+ line: 110,
+ );
+ }
+
+ #[Depends('testAssertReturn6')]
+ public function testAssertReturn7(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '97']],
+ line: 111,
+ );
+ }
+
+ #[Depends('testAssertReturn7')]
+ public function testAssertReturn8(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '98']],
+ line: 112,
+ );
+ }
+
+ #[Depends('testAssertReturn8')]
+ public function testAssertReturn9(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '99']],
+ line: 113,
+ );
+ }
+
+ #[Depends('testAssertReturn9')]
+ public function testAssertReturn10(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '122']],
+ line: 114,
+ );
+ }
+
+ #[Depends('testAssertReturn10')]
+ public function testAssertReturn11(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25185']],
+ line: 116,
+ );
+ }
+
+ #[Depends('testAssertReturn11')]
+ public function testAssertReturn12(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25185']],
+ line: 117,
+ );
+ }
+
+ #[Depends('testAssertReturn12')]
+ public function testAssertReturn13(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25442']],
+ line: 118,
+ );
+ }
+
+ #[Depends('testAssertReturn13')]
+ public function testAssertReturn14(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25699']],
+ line: 119,
+ );
+ }
+
+ #[Depends('testAssertReturn14')]
+ public function testAssertReturn15(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '122']],
+ line: 120,
+ );
+ }
+
+ #[Depends('testAssertReturn15')]
+ public function testAssertReturn16(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25185']],
+ line: 122,
+ );
+ }
+
+ #[Depends('testAssertReturn16')]
+ public function testAssertReturn17(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25185']],
+ line: 123,
+ );
+ }
+
+ #[Depends('testAssertReturn17')]
+ public function testAssertReturn18(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25442']],
+ line: 124,
+ );
+ }
+
+ #[Depends('testAssertReturn18')]
+ public function testAssertReturn19(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '25699']],
+ line: 125,
+ );
+ }
+
+ #[Depends('testAssertReturn19')]
+ public function testAssertReturn20(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '122']],
+ line: 126,
+ );
+ }
+
+ #[Depends('testAssertReturn20')]
+ public function testAssertReturn21(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '1684234849']],
+ line: 128,
+ );
+ }
+
+ #[Depends('testAssertReturn21')]
+ public function testAssertReturn22(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '1684234849']],
+ line: 129,
+ );
+ }
+
+ #[Depends('testAssertReturn22')]
+ public function testAssertReturn23(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '1701077858']],
+ line: 130,
+ );
+ }
+
+ #[Depends('testAssertReturn23')]
+ public function testAssertReturn24(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '1717920867']],
+ line: 131,
+ );
+ }
+
+ #[Depends('testAssertReturn24')]
+ public function testAssertReturn25(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i32', 'value' => '122']],
+ line: 132,
+ );
+ }
+
+ #[Depends('testAssertReturn25')]
+ public function testAssertReturn26(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good1', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 134,
+ );
+ }
+
+ #[Depends('testAssertReturn26')]
+ public function testAssertReturn27(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good2', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 135,
+ );
+ }
+
+ #[Depends('testAssertReturn27')]
+ public function testAssertReturn28(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 136,
+ );
+ }
+
+ #[Depends('testAssertReturn28')]
+ public function testAssertReturn29(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good4', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 137,
+ );
+ }
+
+ #[Depends('testAssertReturn29')]
+ public function testAssertReturn30(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good5', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 138,
+ );
+ }
+
+ #[Depends('testAssertReturn30')]
+ public function testAssertReturn31(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good1', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 140,
+ );
+ }
+
+ #[Depends('testAssertReturn31')]
+ public function testAssertReturn32(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good2', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 141,
+ );
+ }
+
+ #[Depends('testAssertReturn32')]
+ public function testAssertReturn33(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 142,
+ );
+ }
+
+ #[Depends('testAssertReturn33')]
+ public function testAssertReturn34(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good4', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 143,
+ );
+ }
+
+ #[Depends('testAssertReturn34')]
+ public function testAssertReturn35(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good5', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 144,
+ );
+ }
+
+ #[Depends('testAssertReturn35')]
+ public function testAssertReturn36(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good1', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 146,
+ );
+ }
+
+ #[Depends('testAssertReturn36')]
+ public function testAssertReturn37(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good2', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 147,
+ );
+ }
+
+ #[Depends('testAssertReturn37')]
+ public function testAssertReturn38(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 148,
+ );
+ }
+
+ #[Depends('testAssertReturn38')]
+ public function testAssertReturn39(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good4', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 149,
+ );
+ }
+
+ #[Depends('testAssertReturn39')]
+ public function testAssertReturn40(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good5', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 150,
+ );
+ }
+
+ #[Depends('testAssertReturn40')]
+ public function testAssertReturn41(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good1', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 152,
+ );
+ }
+
+ #[Depends('testAssertReturn41')]
+ public function testAssertReturn42(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good2', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 153,
+ );
+ }
+
+ #[Depends('testAssertReturn42')]
+ public function testAssertReturn43(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 154,
+ );
+ }
+
+ #[Depends('testAssertReturn43')]
+ public function testAssertReturn44(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good4', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 155,
+ );
+ }
+
+ #[Depends('testAssertReturn44')]
+ public function testAssertReturn45(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good5', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 156,
+ );
+ }
+
+ #[Depends('testAssertReturn45')]
+ public function testAssertReturn46(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good1', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 158,
+ );
+ }
+
+ #[Depends('testAssertReturn46')]
+ public function testAssertReturn47(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good2', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 159,
+ );
+ }
+
+ #[Depends('testAssertReturn47')]
+ public function testAssertReturn48(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 160,
+ );
+ }
+
+ #[Depends('testAssertReturn48')]
+ public function testAssertReturn49(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good4', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 161,
+ );
+ }
+
+ #[Depends('testAssertReturn49')]
+ public function testAssertReturn50(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good5', 'args' => [['type' => 'i32', 'value' => '65507']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 162,
+ );
+ }
+
+ #[Depends('testAssertReturn50')]
+ public function testAssertReturn51(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good1', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 164,
+ );
+ }
+
+ #[Depends('testAssertReturn51')]
+ public function testAssertReturn52(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good2', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 165,
+ );
+ }
+
+ #[Depends('testAssertReturn52')]
+ public function testAssertReturn53(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 166,
+ );
+ }
+
+ #[Depends('testAssertReturn53')]
+ public function testAssertReturn54(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good4', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 167,
+ );
+ }
+
+ #[Depends('testAssertReturn54')]
+ public function testAssertReturn55(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good5', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 168,
+ );
+ }
+
+ #[Depends('testAssertReturn55')]
+ public function testAssertReturn56(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good1', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 170,
+ );
+ }
+
+ #[Depends('testAssertReturn56')]
+ public function testAssertReturn57(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good2', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 171,
+ );
+ }
+
+ #[Depends('testAssertReturn57')]
+ public function testAssertReturn58(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 172,
+ );
+ }
+
+ #[Depends('testAssertReturn58')]
+ public function testAssertReturn59(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good4', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 173,
+ );
+ }
+
+ #[Depends('testAssertReturn59')]
+ public function testAssertReturn60(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good5', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 174,
+ );
+ }
+
+ #[Depends('testAssertReturn60')]
+ public function testAssertReturn61(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good1', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 176,
+ );
+ }
+
+ #[Depends('testAssertReturn61')]
+ public function testAssertReturn62(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good2', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 177,
+ );
+ }
+
+ #[Depends('testAssertReturn62')]
+ public function testAssertReturn63(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 178,
+ );
+ }
+
+ #[Depends('testAssertReturn63')]
+ public function testAssertReturn64(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good4', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 179,
+ );
+ }
+
+ #[Depends('testAssertReturn64')]
+ public function testAssertReturn65(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good5', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 180,
+ );
+ }
+
+ #[Depends('testAssertReturn65')]
+ public function testAssertReturn66(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good1', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 182,
+ );
+ }
+
+ #[Depends('testAssertReturn66')]
+ public function testAssertReturn67(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good2', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 183,
+ );
+ }
+
+ #[Depends('testAssertReturn67')]
+ public function testAssertReturn68(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 184,
+ );
+ }
+
+ #[Depends('testAssertReturn68')]
+ public function testAssertReturn69(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good4', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 185,
+ );
+ }
+
+ #[Depends('testAssertReturn69')]
+ public function testAssertReturn70(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good5', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 186,
+ );
+ }
+
+ #[Depends('testAssertReturn70')]
+ public function testAssertReturn71(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good1', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 188,
+ );
+ }
+
+ #[Depends('testAssertReturn71')]
+ public function testAssertReturn72(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good2', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 189,
+ );
+ }
+
+ #[Depends('testAssertReturn72')]
+ public function testAssertReturn73(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 190,
+ );
+ }
+
+ #[Depends('testAssertReturn73')]
+ public function testAssertReturn74(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good4', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ expected: [['type' => 'i32', 'value' => '0']],
+ line: 191,
+ );
+ }
+
+ #[Depends('testAssertReturn74')]
+ public function testAssertTrap75(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good5', 'args' => [['type' => 'i32', 'value' => '65508']]],
+ text: 'out of bounds memory access',
+ line: 192,
+ );
+ }
+
+ #[Depends('testAssertTrap75')]
+ public function testAssertTrap76(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 194,
+ );
+ }
+
+ #[Depends('testAssertTrap76')]
+ public function testAssertTrap77(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 195,
+ );
+ }
+
+ #[Depends('testAssertTrap77')]
+ public function testAssertTrap78(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 196,
+ );
+ }
+
+ #[Depends('testAssertTrap78')]
+ public function testAssertTrap79(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 197,
+ );
+ }
+
+ #[Depends('testAssertTrap79')]
+ public function testAssertTrap80(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 198,
+ );
+ }
+
+ #[Depends('testAssertTrap80')]
+ public function testAssertTrap81(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 199,
+ );
+ }
+
+ #[Depends('testAssertTrap81')]
+ public function testAssertTrap82(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 201,
+ );
+ }
+
+ #[Depends('testAssertTrap82')]
+ public function testAssertTrap83(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 202,
+ );
+ }
+
+ #[Depends('testAssertTrap83')]
+ public function testAssertTrap84(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 203,
+ );
+ }
+
+ #[Depends('testAssertTrap84')]
+ public function testAssertTrap85(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 204,
+ );
+ }
+
+ #[Depends('testAssertTrap85')]
+ public function testAssertTrap86(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 205,
+ );
+ }
+
+ #[Depends('testAssertTrap86')]
+ public function testAssertTrap87(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 207,
+ );
+ }
+
+ #[Depends('testAssertTrap87')]
+ public function testAssertTrap88(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 208,
+ );
+ }
+
+ #[Depends('testAssertTrap88')]
+ public function testAssertTrap89(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 209,
+ );
+ }
+
+ #[Depends('testAssertTrap89')]
+ public function testAssertTrap90(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 210,
+ );
+ }
+
+ #[Depends('testAssertTrap90')]
+ public function testAssertTrap91(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 211,
+ );
+ }
+
+ #[DoesNotPerformAssertions]
+ #[Depends('testAssertTrap91')]
+ public function testAssertMalformed92(): void
+ {
+ }
+
+ #[Depends('testAssertMalformed92')]
+ public function testModule93(): void
+ {
+ $this->runModuleCommand(
+ filename: 'address.2.wasm',
+ name: null,
+ line: 223,
+ );
+ }
+
+ #[Depends('testModule93')]
+ public function testAssertReturn94(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '97']],
+ line: 362,
+ );
+ }
+
+ #[Depends('testAssertReturn94')]
+ public function testAssertReturn95(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '97']],
+ line: 363,
+ );
+ }
+
+ #[Depends('testAssertReturn95')]
+ public function testAssertReturn96(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '98']],
+ line: 364,
+ );
+ }
+
+ #[Depends('testAssertReturn96')]
+ public function testAssertReturn97(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '99']],
+ line: 365,
+ );
+ }
+
+ #[Depends('testAssertReturn97')]
+ public function testAssertReturn98(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '122']],
+ line: 366,
+ );
+ }
+
+ #[Depends('testAssertReturn98')]
+ public function testAssertReturn99(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '97']],
+ line: 368,
+ );
+ }
+
+ #[Depends('testAssertReturn99')]
+ public function testAssertReturn100(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '97']],
+ line: 369,
+ );
+ }
+
+ #[Depends('testAssertReturn100')]
+ public function testAssertReturn101(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '98']],
+ line: 370,
+ );
+ }
+
+ #[Depends('testAssertReturn101')]
+ public function testAssertReturn102(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '99']],
+ line: 371,
+ );
+ }
+
+ #[Depends('testAssertReturn102')]
+ public function testAssertReturn103(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '122']],
+ line: 372,
+ );
+ }
+
+ #[Depends('testAssertReturn103')]
+ public function testAssertReturn104(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25185']],
+ line: 374,
+ );
+ }
+
+ #[Depends('testAssertReturn104')]
+ public function testAssertReturn105(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25185']],
+ line: 375,
+ );
+ }
+
+ #[Depends('testAssertReturn105')]
+ public function testAssertReturn106(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25442']],
+ line: 376,
+ );
+ }
+
+ #[Depends('testAssertReturn106')]
+ public function testAssertReturn107(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25699']],
+ line: 377,
+ );
+ }
+
+ #[Depends('testAssertReturn107')]
+ public function testAssertReturn108(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '122']],
+ line: 378,
+ );
+ }
+
+ #[Depends('testAssertReturn108')]
+ public function testAssertReturn109(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25185']],
+ line: 380,
+ );
+ }
+
+ #[Depends('testAssertReturn109')]
+ public function testAssertReturn110(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25185']],
+ line: 381,
+ );
+ }
+
+ #[Depends('testAssertReturn110')]
+ public function testAssertReturn111(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25442']],
+ line: 382,
+ );
+ }
+
+ #[Depends('testAssertReturn111')]
+ public function testAssertReturn112(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '25699']],
+ line: 383,
+ );
+ }
+
+ #[Depends('testAssertReturn112')]
+ public function testAssertReturn113(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '122']],
+ line: 384,
+ );
+ }
+
+ #[Depends('testAssertReturn113')]
+ public function testAssertReturn114(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1684234849']],
+ line: 386,
+ );
+ }
+
+ #[Depends('testAssertReturn114')]
+ public function testAssertReturn115(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1684234849']],
+ line: 387,
+ );
+ }
+
+ #[Depends('testAssertReturn115')]
+ public function testAssertReturn116(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1701077858']],
+ line: 388,
+ );
+ }
+
+ #[Depends('testAssertReturn116')]
+ public function testAssertReturn117(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1717920867']],
+ line: 389,
+ );
+ }
+
+ #[Depends('testAssertReturn117')]
+ public function testAssertReturn118(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '122']],
+ line: 390,
+ );
+ }
+
+ #[Depends('testAssertReturn118')]
+ public function testAssertReturn119(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1684234849']],
+ line: 392,
+ );
+ }
+
+ #[Depends('testAssertReturn119')]
+ public function testAssertReturn120(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1684234849']],
+ line: 393,
+ );
+ }
+
+ #[Depends('testAssertReturn120')]
+ public function testAssertReturn121(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1701077858']],
+ line: 394,
+ );
+ }
+
+ #[Depends('testAssertReturn121')]
+ public function testAssertReturn122(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '1717920867']],
+ line: 395,
+ );
+ }
+
+ #[Depends('testAssertReturn122')]
+ public function testAssertReturn123(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '122']],
+ line: 396,
+ );
+ }
+
+ #[Depends('testAssertReturn123')]
+ public function testAssertReturn124(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '7523094288207667809']],
+ line: 398,
+ );
+ }
+
+ #[Depends('testAssertReturn124')]
+ public function testAssertReturn125(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '7523094288207667809']],
+ line: 399,
+ );
+ }
+
+ #[Depends('testAssertReturn125')]
+ public function testAssertReturn126(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '7595434461045744482']],
+ line: 400,
+ );
+ }
+
+ #[Depends('testAssertReturn126')]
+ public function testAssertReturn127(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '7667774633883821155']],
+ line: 401,
+ );
+ }
+
+ #[Depends('testAssertReturn127')]
+ public function testAssertReturn128(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'i64', 'value' => '122']],
+ line: 402,
+ );
+ }
+
+ #[Depends('testAssertReturn128')]
+ public function testAssertReturn129(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good1', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 404,
+ );
+ }
+
+ #[Depends('testAssertReturn129')]
+ public function testAssertReturn130(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good2', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 405,
+ );
+ }
+
+ #[Depends('testAssertReturn130')]
+ public function testAssertReturn131(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 406,
+ );
+ }
+
+ #[Depends('testAssertReturn131')]
+ public function testAssertReturn132(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good4', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 407,
+ );
+ }
+
+ #[Depends('testAssertReturn132')]
+ public function testAssertReturn133(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good5', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 408,
+ );
+ }
+
+ #[Depends('testAssertReturn133')]
+ public function testAssertReturn134(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good1', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 410,
+ );
+ }
+
+ #[Depends('testAssertReturn134')]
+ public function testAssertReturn135(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good2', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 411,
+ );
+ }
+
+ #[Depends('testAssertReturn135')]
+ public function testAssertReturn136(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 412,
+ );
+ }
+
+ #[Depends('testAssertReturn136')]
+ public function testAssertReturn137(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good4', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 413,
+ );
+ }
+
+ #[Depends('testAssertReturn137')]
+ public function testAssertReturn138(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good5', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 414,
+ );
+ }
+
+ #[Depends('testAssertReturn138')]
+ public function testAssertReturn139(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good1', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 416,
+ );
+ }
+
+ #[Depends('testAssertReturn139')]
+ public function testAssertReturn140(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good2', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 417,
+ );
+ }
+
+ #[Depends('testAssertReturn140')]
+ public function testAssertReturn141(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 418,
+ );
+ }
+
+ #[Depends('testAssertReturn141')]
+ public function testAssertReturn142(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good4', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 419,
+ );
+ }
+
+ #[Depends('testAssertReturn142')]
+ public function testAssertReturn143(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good5', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 420,
+ );
+ }
+
+ #[Depends('testAssertReturn143')]
+ public function testAssertReturn144(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good1', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 422,
+ );
+ }
+
+ #[Depends('testAssertReturn144')]
+ public function testAssertReturn145(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good2', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 423,
+ );
+ }
+
+ #[Depends('testAssertReturn145')]
+ public function testAssertReturn146(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 424,
+ );
+ }
+
+ #[Depends('testAssertReturn146')]
+ public function testAssertReturn147(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good4', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 425,
+ );
+ }
+
+ #[Depends('testAssertReturn147')]
+ public function testAssertReturn148(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good5', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 426,
+ );
+ }
+
+ #[Depends('testAssertReturn148')]
+ public function testAssertReturn149(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good1', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 428,
+ );
+ }
+
+ #[Depends('testAssertReturn149')]
+ public function testAssertReturn150(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good2', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 429,
+ );
+ }
+
+ #[Depends('testAssertReturn150')]
+ public function testAssertReturn151(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good3', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 430,
+ );
+ }
+
+ #[Depends('testAssertReturn151')]
+ public function testAssertReturn152(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good4', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 431,
+ );
+ }
+
+ #[Depends('testAssertReturn152')]
+ public function testAssertReturn153(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good5', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 432,
+ );
+ }
+
+ #[Depends('testAssertReturn153')]
+ public function testAssertReturn154(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good1', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 434,
+ );
+ }
+
+ #[Depends('testAssertReturn154')]
+ public function testAssertReturn155(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good2', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 435,
+ );
+ }
+
+ #[Depends('testAssertReturn155')]
+ public function testAssertReturn156(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good3', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 436,
+ );
+ }
+
+ #[Depends('testAssertReturn156')]
+ public function testAssertReturn157(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good4', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 437,
+ );
+ }
+
+ #[Depends('testAssertReturn157')]
+ public function testAssertReturn158(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good5', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 438,
+ );
+ }
+
+ #[Depends('testAssertReturn158')]
+ public function testAssertReturn159(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good1', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 440,
+ );
+ }
+
+ #[Depends('testAssertReturn159')]
+ public function testAssertReturn160(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good2', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 441,
+ );
+ }
+
+ #[Depends('testAssertReturn160')]
+ public function testAssertReturn161(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 442,
+ );
+ }
+
+ #[Depends('testAssertReturn161')]
+ public function testAssertReturn162(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good4', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 443,
+ );
+ }
+
+ #[Depends('testAssertReturn162')]
+ public function testAssertReturn163(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good5', 'args' => [['type' => 'i32', 'value' => '65503']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 444,
+ );
+ }
+
+ #[Depends('testAssertReturn163')]
+ public function testAssertReturn164(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good1', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 446,
+ );
+ }
+
+ #[Depends('testAssertReturn164')]
+ public function testAssertReturn165(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good2', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 447,
+ );
+ }
+
+ #[Depends('testAssertReturn165')]
+ public function testAssertReturn166(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 448,
+ );
+ }
+
+ #[Depends('testAssertReturn166')]
+ public function testAssertReturn167(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good4', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 449,
+ );
+ }
+
+ #[Depends('testAssertReturn167')]
+ public function testAssertReturn168(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good5', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 450,
+ );
+ }
+
+ #[Depends('testAssertReturn168')]
+ public function testAssertReturn169(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good1', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 452,
+ );
+ }
+
+ #[Depends('testAssertReturn169')]
+ public function testAssertReturn170(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good2', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 453,
+ );
+ }
+
+ #[Depends('testAssertReturn170')]
+ public function testAssertReturn171(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 454,
+ );
+ }
+
+ #[Depends('testAssertReturn171')]
+ public function testAssertReturn172(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good4', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 455,
+ );
+ }
+
+ #[Depends('testAssertReturn172')]
+ public function testAssertReturn173(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good5', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 456,
+ );
+ }
+
+ #[Depends('testAssertReturn173')]
+ public function testAssertReturn174(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good1', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 458,
+ );
+ }
+
+ #[Depends('testAssertReturn174')]
+ public function testAssertReturn175(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good2', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 459,
+ );
+ }
+
+ #[Depends('testAssertReturn175')]
+ public function testAssertReturn176(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 460,
+ );
+ }
+
+ #[Depends('testAssertReturn176')]
+ public function testAssertReturn177(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good4', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 461,
+ );
+ }
+
+ #[Depends('testAssertReturn177')]
+ public function testAssertReturn178(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good5', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 462,
+ );
+ }
+
+ #[Depends('testAssertReturn178')]
+ public function testAssertReturn179(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good1', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 464,
+ );
+ }
+
+ #[Depends('testAssertReturn179')]
+ public function testAssertReturn180(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good2', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 465,
+ );
+ }
+
+ #[Depends('testAssertReturn180')]
+ public function testAssertReturn181(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 466,
+ );
+ }
+
+ #[Depends('testAssertReturn181')]
+ public function testAssertReturn182(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good4', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 467,
+ );
+ }
+
+ #[Depends('testAssertReturn182')]
+ public function testAssertReturn183(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good5', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 468,
+ );
+ }
+
+ #[Depends('testAssertReturn183')]
+ public function testAssertReturn184(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good1', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 470,
+ );
+ }
+
+ #[Depends('testAssertReturn184')]
+ public function testAssertReturn185(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good2', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 471,
+ );
+ }
+
+ #[Depends('testAssertReturn185')]
+ public function testAssertReturn186(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good3', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 472,
+ );
+ }
+
+ #[Depends('testAssertReturn186')]
+ public function testAssertReturn187(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good4', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 473,
+ );
+ }
+
+ #[Depends('testAssertReturn187')]
+ public function testAssertReturn188(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good5', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 474,
+ );
+ }
+
+ #[Depends('testAssertReturn188')]
+ public function testAssertReturn189(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good1', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 476,
+ );
+ }
+
+ #[Depends('testAssertReturn189')]
+ public function testAssertReturn190(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good2', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 477,
+ );
+ }
+
+ #[Depends('testAssertReturn190')]
+ public function testAssertReturn191(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good3', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 478,
+ );
+ }
+
+ #[Depends('testAssertReturn191')]
+ public function testAssertReturn192(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good4', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 479,
+ );
+ }
+
+ #[Depends('testAssertReturn192')]
+ public function testAssertReturn193(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good5', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 480,
+ );
+ }
+
+ #[Depends('testAssertReturn193')]
+ public function testAssertReturn194(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good1', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 482,
+ );
+ }
+
+ #[Depends('testAssertReturn194')]
+ public function testAssertReturn195(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good2', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 483,
+ );
+ }
+
+ #[Depends('testAssertReturn195')]
+ public function testAssertReturn196(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 484,
+ );
+ }
+
+ #[Depends('testAssertReturn196')]
+ public function testAssertReturn197(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good4', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ expected: [['type' => 'i64', 'value' => '0']],
+ line: 485,
+ );
+ }
+
+ #[Depends('testAssertReturn197')]
+ public function testAssertTrap198(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good5', 'args' => [['type' => 'i32', 'value' => '65504']]],
+ text: 'out of bounds memory access',
+ line: 486,
+ );
+ }
+
+ #[Depends('testAssertTrap198')]
+ public function testAssertTrap199(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 488,
+ );
+ }
+
+ #[Depends('testAssertTrap199')]
+ public function testAssertTrap200(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 489,
+ );
+ }
+
+ #[Depends('testAssertTrap200')]
+ public function testAssertTrap201(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 490,
+ );
+ }
+
+ #[Depends('testAssertTrap201')]
+ public function testAssertTrap202(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 491,
+ );
+ }
+
+ #[Depends('testAssertTrap202')]
+ public function testAssertTrap203(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 492,
+ );
+ }
+
+ #[Depends('testAssertTrap203')]
+ public function testAssertTrap204(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 493,
+ );
+ }
+
+ #[Depends('testAssertTrap204')]
+ public function testAssertTrap205(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 494,
+ );
+ }
+
+ #[Depends('testAssertTrap205')]
+ public function testAssertTrap206(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 496,
+ );
+ }
+
+ #[Depends('testAssertTrap206')]
+ public function testAssertTrap207(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 497,
+ );
+ }
+
+ #[Depends('testAssertTrap207')]
+ public function testAssertTrap208(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 498,
+ );
+ }
+
+ #[Depends('testAssertTrap208')]
+ public function testAssertTrap209(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 499,
+ );
+ }
+
+ #[Depends('testAssertTrap209')]
+ public function testAssertTrap210(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 500,
+ );
+ }
+
+ #[Depends('testAssertTrap210')]
+ public function testAssertTrap211(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 501,
+ );
+ }
+
+ #[Depends('testAssertTrap211')]
+ public function testAssertTrap212(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 502,
+ );
+ }
+
+ #[Depends('testAssertTrap212')]
+ public function testAssertTrap213(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8u_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 504,
+ );
+ }
+
+ #[Depends('testAssertTrap213')]
+ public function testAssertTrap214(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '8s_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 505,
+ );
+ }
+
+ #[Depends('testAssertTrap214')]
+ public function testAssertTrap215(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16u_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 506,
+ );
+ }
+
+ #[Depends('testAssertTrap215')]
+ public function testAssertTrap216(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '16s_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 507,
+ );
+ }
+
+ #[Depends('testAssertTrap216')]
+ public function testAssertTrap217(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32u_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 508,
+ );
+ }
+
+ #[Depends('testAssertTrap217')]
+ public function testAssertTrap218(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32s_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 509,
+ );
+ }
+
+ #[Depends('testAssertTrap218')]
+ public function testAssertTrap219(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 510,
+ );
+ }
+
+ #[Depends('testAssertTrap219')]
+ public function testModule220(): void
+ {
+ $this->runModuleCommand(
+ filename: 'address.3.wasm',
+ name: null,
+ line: 514,
+ );
+ }
+
+ #[Depends('testModule220')]
+ public function testAssertReturn221(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 538,
+ );
+ }
+
+ #[Depends('testAssertReturn221')]
+ public function testAssertReturn222(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 539,
+ );
+ }
+
+ #[Depends('testAssertReturn222')]
+ public function testAssertReturn223(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 540,
+ );
+ }
+
+ #[Depends('testAssertReturn223')]
+ public function testAssertReturn224(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 541,
+ );
+ }
+
+ #[Depends('testAssertReturn224')]
+ public function testAssertReturn225(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f32', 'value' => '2144337921']],
+ line: 542,
+ );
+ }
+
+ #[Depends('testAssertReturn225')]
+ public function testAssertReturn226(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good1', 'args' => [['type' => 'i32', 'value' => '65524']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 544,
+ );
+ }
+
+ #[Depends('testAssertReturn226')]
+ public function testAssertReturn227(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good2', 'args' => [['type' => 'i32', 'value' => '65524']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 545,
+ );
+ }
+
+ #[Depends('testAssertReturn227')]
+ public function testAssertReturn228(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '65524']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 546,
+ );
+ }
+
+ #[Depends('testAssertReturn228')]
+ public function testAssertReturn229(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good4', 'args' => [['type' => 'i32', 'value' => '65524']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 547,
+ );
+ }
+
+ #[Depends('testAssertReturn229')]
+ public function testAssertReturn230(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good5', 'args' => [['type' => 'i32', 'value' => '65524']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 548,
+ );
+ }
+
+ #[Depends('testAssertReturn230')]
+ public function testAssertReturn231(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good1', 'args' => [['type' => 'i32', 'value' => '65525']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 550,
+ );
+ }
+
+ #[Depends('testAssertReturn231')]
+ public function testAssertReturn232(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good2', 'args' => [['type' => 'i32', 'value' => '65525']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 551,
+ );
+ }
+
+ #[Depends('testAssertReturn232')]
+ public function testAssertReturn233(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '65525']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 552,
+ );
+ }
+
+ #[Depends('testAssertReturn233')]
+ public function testAssertReturn234(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good4', 'args' => [['type' => 'i32', 'value' => '65525']]],
+ expected: [['type' => 'f32', 'value' => '0']],
+ line: 553,
+ );
+ }
+
+ #[Depends('testAssertReturn234')]
+ public function testAssertTrap235(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good5', 'args' => [['type' => 'i32', 'value' => '65525']]],
+ text: 'out of bounds memory access',
+ line: 554,
+ );
+ }
+
+ #[Depends('testAssertTrap235')]
+ public function testAssertTrap236(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 556,
+ );
+ }
+
+ #[Depends('testAssertTrap236')]
+ public function testAssertTrap237(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 557,
+ );
+ }
+
+ #[Depends('testAssertTrap237')]
+ public function testAssertTrap238(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 559,
+ );
+ }
+
+ #[Depends('testAssertTrap238')]
+ public function testAssertTrap239(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '32_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 560,
+ );
+ }
+
+ #[Depends('testAssertTrap239')]
+ public function testModule240(): void
+ {
+ $this->runModuleCommand(
+ filename: 'address.4.wasm',
+ name: null,
+ line: 564,
+ );
+ }
+
+ #[Depends('testModule240')]
+ public function testAssertReturn241(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good1', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 588,
+ );
+ }
+
+ #[Depends('testAssertReturn241')]
+ public function testAssertReturn242(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good2', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 589,
+ );
+ }
+
+ #[Depends('testAssertReturn242')]
+ public function testAssertReturn243(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 590,
+ );
+ }
+
+ #[Depends('testAssertReturn243')]
+ public function testAssertReturn244(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good4', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 591,
+ );
+ }
+
+ #[Depends('testAssertReturn244')]
+ public function testAssertReturn245(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good5', 'args' => [['type' => 'i32', 'value' => '0']]],
+ expected: [['type' => 'f64', 'value' => '9222246136947933185']],
+ line: 592,
+ );
+ }
+
+ #[Depends('testAssertReturn245')]
+ public function testAssertReturn246(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good1', 'args' => [['type' => 'i32', 'value' => '65510']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 594,
+ );
+ }
+
+ #[Depends('testAssertReturn246')]
+ public function testAssertReturn247(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good2', 'args' => [['type' => 'i32', 'value' => '65510']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 595,
+ );
+ }
+
+ #[Depends('testAssertReturn247')]
+ public function testAssertReturn248(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '65510']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 596,
+ );
+ }
+
+ #[Depends('testAssertReturn248')]
+ public function testAssertReturn249(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good4', 'args' => [['type' => 'i32', 'value' => '65510']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 597,
+ );
+ }
+
+ #[Depends('testAssertReturn249')]
+ public function testAssertReturn250(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good5', 'args' => [['type' => 'i32', 'value' => '65510']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 598,
+ );
+ }
+
+ #[Depends('testAssertReturn250')]
+ public function testAssertReturn251(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good1', 'args' => [['type' => 'i32', 'value' => '65511']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 600,
+ );
+ }
+
+ #[Depends('testAssertReturn251')]
+ public function testAssertReturn252(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good2', 'args' => [['type' => 'i32', 'value' => '65511']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 601,
+ );
+ }
+
+ #[Depends('testAssertReturn252')]
+ public function testAssertReturn253(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '65511']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 602,
+ );
+ }
+
+ #[Depends('testAssertReturn253')]
+ public function testAssertReturn254(): void
+ {
+ $this->runAssertReturnCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good4', 'args' => [['type' => 'i32', 'value' => '65511']]],
+ expected: [['type' => 'f64', 'value' => '0']],
+ line: 603,
+ );
+ }
+
+ #[Depends('testAssertReturn254')]
+ public function testAssertTrap255(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good5', 'args' => [['type' => 'i32', 'value' => '65511']]],
+ text: 'out of bounds memory access',
+ line: 604,
+ );
+ }
+
+ #[Depends('testAssertTrap255')]
+ public function testAssertTrap256(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 606,
+ );
+ }
+
+ #[Depends('testAssertTrap256')]
+ public function testAssertTrap257(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_good3', 'args' => [['type' => 'i32', 'value' => '4294967295']]],
+ text: 'out of bounds memory access',
+ line: 607,
+ );
+ }
+
+ #[Depends('testAssertTrap257')]
+ public function testAssertTrap258(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_bad', 'args' => [['type' => 'i32', 'value' => '0']]],
+ text: 'out of bounds memory access',
+ line: 609,
+ );
+ }
+
+ #[Depends('testAssertTrap258')]
+ public function testAssertTrap259(): void
+ {
+ $this->runAssertTrapCommand(
+ module: null,
+ action: ['type' => 'invoke', 'field' => '64_bad', 'args' => [['type' => 'i32', 'value' => '1']]],
+ text: 'out of bounds memory access',
+ line: 610,
+ );
+ }
+}
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-11-30 22:32:17 +0000