(AC A4) warning: ConstantPropagation.java:transferNode return opposite to the comments. Before commits is not affected!

Author: 1475505

A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java

@@ -120,7 +120,7 @@ public boolean transferNode(Stmt stmt, CPFact in, CPFact out) {
                 out.update(def, Value.getNAC());
             }
         }
-        return out.equals(old_out);
+        return !out.equals(old_out);
     }
 
     /**

A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterSolver.java

@@ -84,7 +84,7 @@ private void doSolve() {
             for (var edge : icfg.getInEdgesOf(node)) {
                 analysis.meetInto(analysis.transferEdge(edge, result.getOutFact(edge.getSource())), result.getInFact(node));
             }
-            if (!analysis.transferNode(node, result.getInFact(node), result.getOutFact(node))) {
+            if (analysis.transferNode(node, result.getInFact(node), result.getOutFact(node))) {
                 workList.addAll(icfg.getSuccsOf(node));
             }
         }