ILIAS  trunk Revision v11.0_alpha-3011-gc6b235a2e85
ResultTest.php
Go to the documentation of this file.
1<?php
2
19declare(strict_types=1);
20
22
23use PHPUnit\Framework\TestCase;
25
26class ResultTest extends TestCase
27{
28 public function testConstruct(): void
29 {
30 $result = new Result(0);
31 $this->assertInstanceOf(Result::class, $result);
32 }
33
34 public function testViolations(): void
35 {
36 $result = new Result(9);
37 $this->assertSame(9, $result->violations());
38 }
39}