Java: Update model generator expected output.

github · Sep 9, 2024 · 4a1ddd9 · 4a1ddd9
1 parent bd2997d
commit 4a1ddd9
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/MultiPaths.java b/java/ql/test/utils/modelgenerator/dataflow/p/MultiPaths.java
@@ -3,9 +3,6 @@
 public class MultiPaths {
 
   // summary=p;MultiPaths;true;cond;(String,String);;Argument[0];ReturnValue;taint;df-generated
-  // It looks like the content flows are not being properly consolidated in case we have paths
-  // that disagree on whether value is preserved.
-  // SPURIOUS-contentbased-summary=p;MultiPaths;true;cond;(String,String);;Argument[0];ReturnValue;taint;df-generated
   // contentbased-summary=p;MultiPaths;true;cond;(String,String);;Argument[0];ReturnValue;value;df-generated
   public String cond(String x, String other) {
     if (x == other) {