Java: Update expected output of model generation.

This commit is contained in:
Michael Nebel
2024-06-14 13:46:06 +02:00
parent 1185e28ea2
commit aa962f9b03
2 changed files with 0 additions and 2 deletions

View File

@@ -66,7 +66,6 @@ public class Sinks {
}
// Not a new sink because a simple type is used in an intermediate step
// SPURIOUS-sink=p;Sinks;true;wrapSinkSimpleType;(String);;Argument[0];test-sink;df-generated
// neutral=p;Sinks;wrapSinkSimpleType;(String);summary;df-generated
public void wrapSinkSimpleType(String s) {
Boolean b = s == "hello";

View File

@@ -45,7 +45,6 @@ public class Sources {
}
// Not a new source because a simple type is used in an intermediate step
// SPURIOUS-source=p;Sources;true;wrapSourceGetBool;();;ReturnValue;test-source;df-generated
// neutral=p;Sources;wrapSourceGetBool;();summary;df-generated
public Boolean wrapSourceGetBool() {
String s = source();