Java: update fixed test

This commit is contained in:
Anders Schack-Mulligen
2023-08-03 10:07:00 +02:00
parent 72171972c3
commit 0ae81eace3

View File

@@ -99,7 +99,7 @@ public class A {
}
public static void testWrapCall() {
sink(wrapStream(null)); // $ SPURIOUS: hasTaintFlow
sink(wrapStream(null)); // no flow
sink(wrapStream(source())); // $ hasTaintFlow
}