1 files changed, 499 insertions, 0 deletions
diff --git a/tests/src/SpecTestsuites/Core/TokenTest.php b/tests/src/SpecTestsuites/Core/TokenTest.php
new file mode 100644
index 0000000..9ceb68b
--- /dev/null
+++ b/tests/src/SpecTestsuites/Core/TokenTest.php
@@ -0,0 +1,499 @@
+<?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 TokenTest extends SpecTestsuiteBase
+{
+    #[DoesNotPerformAssertions]
+    public function testAssertMalformed0(): void
+    {
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testAssertMalformed0')]
+    public function testAssertMalformed1(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed1')]
+    public function testModule2(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.2.wasm',
+            name: null,
+            line: 15,
+        );
+    }
+
+    #[Depends('testModule2')]
+    public function testModule3(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.3.wasm',
+            name: null,
+            line: 18,
+        );
+    }
+
+    #[Depends('testModule3')]
+    public function testModule4(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.4.wasm',
+            name: null,
+            line: 21,
+        );
+    }
+
+    #[Depends('testModule4')]
+    public function testModule5(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.5.wasm',
+            name: null,
+            line: 24,
+        );
+    }
+
+    #[Depends('testModule5')]
+    public function testModule6(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.6.wasm',
+            name: null,
+            line: 27,
+        );
+    }
+
+    #[Depends('testModule6')]
+    public function testModule7(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.7.wasm',
+            name: null,
+            line: 30,
+        );
+    }
+
+    #[Depends('testModule7')]
+    public function testModule8(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.8.wasm',
+            name: null,
+            line: 33,
+        );
+    }
+
+    #[Depends('testModule8')]
+    public function testModule9(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.9.wasm',
+            name: null,
+            line: 38,
+        );
+    }
+
+    #[Depends('testModule9')]
+    public function testModule10(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.10.wasm',
+            name: null,
+            line: 43,
+        );
+    }
+
+    #[Depends('testModule10')]
+    public function testModule11(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.11.wasm',
+            name: null,
+            line: 47,
+        );
+    }
+
+    #[Depends('testModule11')]
+    public function testModule12(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.12.wasm',
+            name: null,
+            line: 54,
+        );
+    }
+
+    #[Depends('testModule12')]
+    public function testModule13(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.13.wasm',
+            name: null,
+            line: 58,
+        );
+    }
+
+    #[Depends('testModule13')]
+    public function testModule14(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.14.wasm',
+            name: null,
+            line: 62,
+        );
+    }
+
+    #[Depends('testModule14')]
+    public function testModule15(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.15.wasm',
+            name: null,
+            line: 66,
+        );
+    }
+
+    #[Depends('testModule15')]
+    public function testModule16(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.16.wasm',
+            name: null,
+            line: 70,
+        );
+    }
+
+    #[Depends('testModule16')]
+    public function testModule17(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.17.wasm',
+            name: null,
+            line: 74,
+        );
+    }
+
+    #[Depends('testModule17')]
+    public function testModule18(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.18.wasm',
+            name: null,
+            line: 82,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule18')]
+    public function testAssertMalformed19(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed19')]
+    public function testModule20(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.20.wasm',
+            name: null,
+            line: 92,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule20')]
+    public function testAssertMalformed21(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed21')]
+    public function testModule22(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.22.wasm',
+            name: null,
+            line: 102,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule22')]
+    public function testAssertMalformed23(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed23')]
+    public function testModule24(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.24.wasm',
+            name: null,
+            line: 112,
+        );
+    }
+
+    #[Depends('testModule24')]
+    public function testModule25(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.25.wasm',
+            name: null,
+            line: 115,
+        );
+    }
+
+    #[Depends('testModule25')]
+    public function testModule26(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.26.wasm',
+            name: null,
+            line: 122,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule26')]
+    public function testAssertMalformed27(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed27')]
+    public function testModule28(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.28.wasm',
+            name: null,
+            line: 132,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule28')]
+    public function testAssertMalformed29(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed29')]
+    public function testModule30(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.30.wasm',
+            name: null,
+            line: 142,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule30')]
+    public function testAssertMalformed31(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed31')]
+    public function testModule32(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.32.wasm',
+            name: null,
+            line: 152,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule32')]
+    public function testAssertMalformed33(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed33')]
+    public function testModule34(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.34.wasm',
+            name: null,
+            line: 162,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule34')]
+    public function testAssertMalformed35(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed35')]
+    public function testModule36(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.36.wasm',
+            name: null,
+            line: 172,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule36')]
+    public function testAssertMalformed37(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed37')]
+    public function testModule38(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.38.wasm',
+            name: null,
+            line: 182,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule38')]
+    public function testAssertMalformed39(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed39')]
+    public function testModule40(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.40.wasm',
+            name: null,
+            line: 192,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule40')]
+    public function testAssertMalformed41(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed41')]
+    public function testModule42(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.42.wasm',
+            name: null,
+            line: 202,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule42')]
+    public function testAssertMalformed43(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed43')]
+    public function testModule44(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.44.wasm',
+            name: null,
+            line: 212,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule44')]
+    public function testAssertMalformed45(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed45')]
+    public function testModule46(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.46.wasm',
+            name: null,
+            line: 222,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule46')]
+    public function testAssertMalformed47(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed47')]
+    public function testModule48(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.48.wasm',
+            name: null,
+            line: 232,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule48')]
+    public function testAssertMalformed49(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed49')]
+    public function testModule50(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.50.wasm',
+            name: null,
+            line: 242,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule50')]
+    public function testAssertMalformed51(): void
+    {
+    }
+
+    #[Depends('testAssertMalformed51')]
+    public function testModule52(): void
+    {
+        $this->runModuleCommand(
+            filename: 'token.52.wasm',
+            name: null,
+            line: 252,
+        );
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testModule52')]
+    public function testAssertMalformed53(): void
+    {
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testAssertMalformed53')]
+    public function testAssertMalformed54(): void
+    {
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testAssertMalformed54')]
+    public function testAssertMalformed55(): void
+    {
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testAssertMalformed55')]
+    public function testAssertMalformed56(): void
+    {
+    }
+
+    #[DoesNotPerformAssertions]
+    #[Depends('testAssertMalformed56')]
+    public function testAssertMalformed57(): void
+    {
+    }
+}