danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00
Code Issues Projects Releases Wiki Activity

More specific test name

Browse Source
This commit is contained in:
Matthew Brown 2022-01-16 15:34:25 -05:00
parent 26dd4c5b8f
commit e1d2da792c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/AlgebraTest.php
View File

@ -163,7 +163,7 @@ class AlgebraTest extends TestCase
$this->assertSame(['$b' => ['falsy']], $simplified_formula[1]->possibilities);
}
public function testSimplifyCNFWithUselessTerm(): void
public function testSimplifyCNFWithOneUselessTerm(): void
{
$formula = [
new Clause(['$a' => ['!falsy'], '$b' => ['!falsy']], 1, 1),