25 lines
804 B
PHP
25 lines
804 B
PHP
<?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 71 checks passed.', $out);
|
|
}
|
|
}
|