tests/src/SpecTestsuites/Core/TableSubTest.php


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

<?php

declare(strict_types=1);

namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core;

use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase;
use PHPUnit\Framework\Attributes\DoesNotPerformAssertions;

final class TableSubTest extends SpecTestsuiteBase
{
    public function testAssertInvalid0(): void
    {
        $this->runAssertInvalidCommand(
            filename: 'table-sub.0.wasm',
            text: 'type mismatch',
            line: 2,
        );
    }

    public function testAssertInvalid1(): void
    {
        $this->runAssertInvalidCommand(
            filename: 'table-sub.1.wasm',
            text: 'type mismatch',
            line: 13,
        );
    }
}