diff --git a/tests/AlgebraTest.php b/tests/AlgebraTest.php index 401029f2a..2eb2f6b89 100644 --- a/tests/AlgebraTest.php +++ b/tests/AlgebraTest.php @@ -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),