fix(cellUnderflow): comma is not logical &&

nowarp · Nov 19, 2024 · 1ecfd29 · 1ecfd29
1 parent 2998552
commit 1ecfd29
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/detectors/builtin/cellUnderflow.ts b/src/detectors/builtin/cellUnderflow.ts
@@ -214,11 +214,11 @@ class CellUnderflowLattice implements JoinSemilattice<CellUnderflowState> {
 
   leq(a: CellUnderflowState, b: CellUnderflowState): boolean {
     return (
-      isMapSubsetOf(a.builders, b.builders),
-      isMapSubsetOf(a.cells, b.cells),
-      isMapSubsetOf(a.slices, b.slices),
-      isMapSubsetOf(a.messages, b.messages),
-      isMapSubsetOf(a.structs, b.structs),
+      isMapSubsetOf(a.builders, b.builders) &&
+      isMapSubsetOf(a.cells, b.cells) &&
+      isMapSubsetOf(a.slices, b.slices) &&
+      isMapSubsetOf(a.messages, b.messages) &&
+      isMapSubsetOf(a.structs, b.structs) &&
       isListSubsetOf(a.intermediateVariables, b.intermediateVariables)
     );
   }