<?php

declare(strict_types=1);

namespace Belevo\EnelixEMS\Tests;

use PHPUnit\Framework\TestCase;

final class NetzfahrplanV4RegeltestTest extends TestCase
{
    public function testIsolatedControlledTrialStateMachines(): void
    {
        $pipes = [];
        $process = proc_open([PHP_BINARY, __DIR__ . '/V4ControlTrial/checks.php'],
            [0 => ['pipe', 'r'], 1 => ['pipe', 'w'], 2 => ['pipe', 'w']], $pipes);
        self::assertIsResource($process);
        fclose($pipes[0]);
        $out = stream_get_contents($pipes[1]);$err = stream_get_contents($pipes[2]);
        fclose($pipes[1]);fclose($pipes[2]);
        self::assertSame(0, proc_close($process), $out . $err);
        self::assertSame('', $err);
        self::assertStringContainsString('TOTAL 96 checks passed.', $out);
    }
}