diff --git a/src/test/java/conformance/NullnessJSpecifyConformanceTest.java b/src/test/java/conformance/NullnessJSpecifyConformanceTest.java index 28d70aa..da0389d 100644 --- a/src/test/java/conformance/NullnessJSpecifyConformanceTest.java +++ b/src/test/java/conformance/NullnessJSpecifyConformanceTest.java @@ -7,6 +7,8 @@ import com.google.common.base.Splitter; import com.google.common.collect.ImmutableList; import com.google.common.collect.ImmutableSet; +import com.google.common.collect.ImmutableSortedSet; + import java.io.File; import java.io.IOException; import java.nio.file.Path; @@ -76,7 +78,7 @@ public void conformanceTests() throws IOException { * @param deps the dependencies of the conformance tests. */ private static ImmutableSet analyze( - Path testDir, ImmutableList files, ImmutableList deps) { + Path testDir, ImmutableSortedSet files, ImmutableList deps) { ImmutableSet fileInputs = files.stream().map(Path::toFile).collect(toImmutableSet()); ImmutableList depsAsStrings = diff --git a/src/test/resources/jspecify-conformance-test-report.txt b/src/test/resources/jspecify-conformance-test-report.txt index 7e774bb..c614232 100644 --- a/src/test/resources/jspecify-conformance-test-report.txt +++ b/src/test/resources/jspecify-conformance-test-report.txt @@ -1,4 +1,4 @@ -# 14 pass; 100 fail; 114 total; 12.3% score +# 14 pass; 100 fail; 114 total; 12,3% score FAIL: Basic.java:28:test:expression-type:Object?:nullable FAIL: Basic.java:28:test:sink-type:Object!:return FAIL: Basic.java:28:test:cannot-convert:Object? to Object!