Update expected conformance test results

jspecify · Dec 19, 2023 · 593dd1a · 593dd1a
1 parent 3594656
commit 593dd1a
Show file tree

Hide file tree

Showing 2 changed files with 180 additions and 180 deletions.
diff --git a/tests/ConformanceTest-report.txt b/tests/ConformanceTest-report.txt
@@ -1,13 +1,13 @@
-# 12 pass; 7 fail; 19 total; 63.2% score
-PASS: Basic.java:28 test:expression-type:Object?:nullable
-PASS: Basic.java:28 test:sink-type:Object!:return
+# 5 pass; 14 fail; 19 total; 26.3% score
+FAIL: Basic.java:28 test:expression-type:Object?:nullable
+FAIL: Basic.java:28 test:sink-type:Object!:return
 PASS: Basic.java:28 test:cannot-convert:Object? to Object!
-PASS: Basic.java:34 test:expression-type:Object!:nonNull
-PASS: Basic.java:34 test:sink-type:Object?:return
-PASS: Basic.java:41 test:sink-type:Object?:nullableObject
-PASS: Basic.java:43 test:sink-type:String!:testSinkType#nonNullString
+FAIL: Basic.java:34 test:expression-type:Object!:nonNull
+FAIL: Basic.java:34 test:sink-type:Object?:return
+FAIL: Basic.java:41 test:sink-type:Object?:nullableObject
+FAIL: Basic.java:43 test:sink-type:String!:testSinkType#nonNullString
 FAIL: Basic.java:49 test:expression-type:List!<capture of ? extends String?>:nullableStrings
-PASS: Basic.java: no unexpected facts
+FAIL: Basic.java: no unexpected facts
 PASS: Irrelevant.java:28 test:irrelevant-annotation:Nullable
 PASS: Irrelevant.java:34 test:irrelevant-annotation:Nullable
 FAIL: Irrelevant.java:38 test:irrelevant-annotation:NonNull