From e4954501a6984afbba9b18c6781d91e3bb5d0b25 Mon Sep 17 00:00:00 2001 From: "David P. Baker" Date: Thu, 14 Dec 2023 12:06:54 -0500 Subject: [PATCH] Adjust conformance test report. --- tests/ConformanceTest-report.txt | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/tests/ConformanceTest-report.txt b/tests/ConformanceTest-report.txt index 65fadef..7a4aa14 100644 --- a/tests/ConformanceTest-report.txt +++ b/tests/ConformanceTest-report.txt @@ -1,11 +1,12 @@ -# 12 pass; 6 fail; 18 total; 66.7% score -PASS: Basic.java:26 test:expression-type:Object?:nullable -PASS: Basic.java:26 test:sink-type:Object!:return -PASS: Basic.java:26 test:cannot-convert:Object? to Object! -PASS: Basic.java:32 test:expression-type:Object!:nonNull -PASS: Basic.java:32 test:sink-type:Object?:return -PASS: Basic.java:39 test:sink-type:Object?:nullableObject -PASS: Basic.java:41 test:sink-type:String!:testSinkType#nonNullString +# 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 +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:49 test:expression-type:List!:nullableStrings PASS: Basic.java: no unexpected facts PASS: Irrelevant.java:28 test:irrelevant-annotation:Nullable PASS: Irrelevant.java:34 test:irrelevant-annotation:Nullable