fix tests

formal-php · Jul 14, 2024 · 28c575c · 28c575c
1 parent 7c9f571
commit 28c575c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/proofs/query/where.php b/proofs/query/where.php
@@ -133,7 +133,7 @@ static function($assert, $column1, $column2, $value) {
             $where = Where::of($lessThan->or($equal));
 
             $assert->same(
-                "WHERE ({$column1->name()->sql(Driver::mysql)} < ? OR {{$column2->name()->sql(Driver::mysql)} = ?})",
+                "WHERE ({$column1->name()->sql(Driver::mysql)} < ? OR {$column2->name()->sql(Driver::mysql)} = ?)",
                 $where->sql(Driver::mysql),
             );
             $assert->count(2, $where->parameters());

diff --git a/src/Query/Where.php b/src/Query/Where.php
@@ -250,6 +250,7 @@ private function findParamaters(
             $specification->left()->sign() === Sign::moreThan &&
             $specification->right() instanceof Comparator &&
             $specification->right()->sign() === Sign::equality &&
+            $specification->left()->property() === $specification->right()->property() &&
             $specification->left()->value() === $specification->right()->value()
         ) {
             return $this->findComparatorParameters(
@@ -265,6 +266,7 @@ private function findParamaters(
             $specification->left()->sign() === Sign::lessThan &&
             $specification->right() instanceof Comparator &&
             $specification->right()->sign() === Sign::equality &&
+            $specification->left()->property() === $specification->right()->property() &&
             $specification->left()->value() === $specification->right()->value()
         ) {
             return $this->findComparatorParameters(