Advertisement
Guest User

Untitled

a guest
Sep 20th, 2019
130
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 125.16 KB | None | 0 0
  1. > Task :checker-framework:checker-qual:checkPurity
  2.  
  3. > Task :checker-framework:checker-qual:checkPurity FAILED
  4. > Task :checker-qual:allTests FAILED
  5.  
  6. > Task :checker-framework:checker:test
  7. Testsuite: tests.UnitsTest
  8. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 31.801 sec
  9.  
  10. Testsuite: tests.NullnessStubfileTest
  11. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 2.204 sec
  12.  
  13. Testsuite: tests.NullnessCheckCastElementTypeTest
  14. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.783 sec
  15.  
  16. Testsuite: tests.NullnessSkipUsesTest
  17. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.813 sec
  18.  
  19. Testsuite: tests.I18nUncheckedDefaultsTest
  20. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.457 sec
  21.  
  22. Testsuite: tests.SignednessUncheckedDefaultsTest
  23. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 1.003 sec
  24.  
  25. Testsuite: tests.SignatureTest
  26. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 48.508 sec
  27.  
  28. Testsuite: tests.I18nFormatterUncheckedDefaultsTest
  29. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.521 sec
  30.  
  31. Testsuite: tests.FormatterLubGlbCheckerTest
  32. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.443 sec
  33.  
  34. Testsuite: tests.NullnessConcurrentTest
  35. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.535 sec
  36.  
  37.  
  38. tests.NullnessFbcTestWithAsserts > run[nullness-asserts] FAILED
  39. java.lang.AssertionError: 7 out of 10 expected diagnostics were found.
  40. 18 unexpected diagnostics were found:
  41. NonNullMapValue.java:64: error: (type.argument.type.incompatible)
  42. NonNullMapValue.java:64: error: (enhancedfor.type.incompatible)
  43. NonNullMapValue.java:68: error: (type.argument.type.incompatible)
  44. NonNullMapValue.java:68: error: (assignment.type.incompatible)
  45. NonNullMapValue.java:77: error: (argument.type.incompatible)
  46. NonNullMapValue.java:78: error: (argument.type.incompatible)
  47. NonNullMapValue.java:82: error: (argument.type.incompatible)
  48. NonNullMapValue.java:88: error: (argument.type.incompatible)
  49. NonNullMapValue.java:93: error: (argument.type.incompatible)
  50. NonNullMapValue.java:101: error: (argument.type.incompatible)
  51. NonNullMapValue.java:115: error: (type.argument.type.incompatible)
  52. NonNullMapValue.java:115: error: (assignment.type.incompatible)
  53. NonNullMapValue.java:119: error: (type.argument.type.incompatible)
  54. NonNullMapValue.java:120: error: (type.argument.type.incompatible)
  55. NonNullMapValue.java:120: error: (argument.type.incompatible)
  56. NonNullMapValue.java:134: warning: (known.nonnull)
  57. TestAssumeAssertionsAreEnabled.java:7: error: (argument.type.incompatible)
  58. TestAssumeAssertionsAreEnabled.java:12: error: (argument.type.incompatible)
  59. 3 expected diagnostics were not found:
  60. NonNullMapValue.java:53: error: (assignment.type.incompatible)
  61. NonNullMapValue.java:59: error: (assignment.type.incompatible)
  62. NonNullMapValue.java:160: error: (assignment.type.incompatible)
  63. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness-asserts/NonNullMapValue.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness-asserts/TestAssumeAssertionsAreEnabled.java
  64. Testsuite: tests.NullnessFbcTestWithAsserts
  65. Tests run: 1, Failures: 1, Skipped: 0, Time elapsed: 2.418 sec
  66.  
  67. Testsuite: tests.I18nFormatterLubGlbCheckerTest
  68. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.482 sec
  69.  
  70.  
  71. tests.LockSafeDefaultsTest > run[lock-safedefaults] FAILED
  72. java.lang.AssertionError: 5 out of 5 expected diagnostics were found.
  73. 2 unexpected diagnostics were found:
  74. BasicLockTest.java:47: error: (lock.not.held)
  75. BasicLockTest.java:70: error: (lock.not.held)
  76. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock-safedefaults/BasicLockTest.java
  77. Testsuite: tests.LockSafeDefaultsTest
  78. Tests run: 1, Failures: 1, Skipped: 0, Time elapsed: 1.033 sec
  79.  
  80. Testsuite: tests.I18nFormatterUnitTest
  81. Tests run: 3, Failures: 0, Skipped: 0, Time elapsed: 0.131 sec
  82.  
  83.  
  84. tests.SignednessTest > run[signedness] FAILED
  85. java.lang.AssertionError: 323 out of 347 expected diagnostics were found.
  86. 44 unexpected diagnostics were found:
  87. Utils.java:60: error: (argument.type.incompatible)
  88. Utils.java:71: error: (argument.type.incompatible)
  89. Utils.java:111: error: (argument.type.incompatible)
  90. Utils.java:116: error: (argument.type.incompatible)
  91. Utils.java:121: error: (argument.type.incompatible)
  92. Utils.java:126: error: (argument.type.incompatible)
  93. UtilsJava8.java:21: error: (argument.type.incompatible)
  94. UtilsJava8.java:26: error: (argument.type.incompatible)
  95. UtilsJava8.java:31: error: (assignment.type.incompatible)
  96. UtilsJava8.java:36: error: (assignment.type.incompatible)
  97. UtilsJava8.java:47: error: (argument.type.incompatible)
  98. UtilsJava8.java:50: error: (assignment.type.incompatible)
  99. UtilsJava8.java:53: error: (assignment.type.incompatible)
  100. UtilsJava8.java:56: error: (assignment.type.incompatible)
  101. UtilsJava8.java:59: error: (argument.type.incompatible)
  102. UtilsJava8.java:61: error: (assignment.type.incompatible)
  103. UtilsJava8.java:61: error: (argument.type.incompatible)
  104. UtilsJava8.java:64: error: (assignment.type.incompatible)
  105. UtilsJava8.java:67: error: (assignment.type.incompatible)
  106. UtilsJava8.java:70: error: (assignment.type.incompatible)
  107. UtilsJava8.java:73: error: (argument.type.incompatible)
  108. UtilsJava8.java:75: error: (assignment.type.incompatible)
  109. UtilsJava8.java:75: error: (argument.type.incompatible)
  110. UtilsJava8.java:80: error: (argument.type.incompatible)
  111. UtilsJava8.java:85: error: (argument.type.incompatible)
  112. UtilsJava8.java:90: error: (assignment.type.incompatible)
  113. UtilsJava8.java:95: error: (assignment.type.incompatible)
  114. UtilsJava8.java:106: error: (argument.type.incompatible)
  115. UtilsJava8.java:111: error: (assignment.type.incompatible)
  116. UtilsJava8.java:114: error: (assignment.type.incompatible)
  117. UtilsJava8.java:117: error: (assignment.type.incompatible)
  118. UtilsJava8.java:120: error: (assignment.type.incompatible)
  119. UtilsJava8.java:123: error: (argument.type.incompatible)
  120. UtilsJava8.java:125: error: (assignment.type.incompatible)
  121. UtilsJava8.java:125: error: (argument.type.incompatible)
  122. UtilsJava8.java:128: error: (assignment.type.incompatible)
  123. UtilsJava8.java:131: error: (assignment.type.incompatible)
  124. UtilsJava8.java:134: error: (assignment.type.incompatible)
  125. UtilsJava8.java:137: error: (argument.type.incompatible)
  126. UtilsJava8.java:139: error: (assignment.type.incompatible)
  127. UtilsJava8.java:139: error: (argument.type.incompatible)
  128. TestPrintln.java:12: error: (assignment.type.incompatible)
  129. TestPrintln.java:15: error: (assignment.type.incompatible)
  130. TestPrintln.java:18: error: (assignment.type.incompatible)
  131. 24 expected diagnostics were not found:
  132. Utils.java:52: error: (argument.type.incompatible)
  133. Utils.java:63: error: (argument.type.incompatible)
  134. Utils.java:109: error: (argument.type.incompatible)
  135. Utils.java:114: error: (argument.type.incompatible)
  136. Utils.java:119: error: (argument.type.incompatible)
  137. Utils.java:124: error: (argument.type.incompatible)
  138. UtilsJava8.java:19: error: (argument.type.incompatible)
  139. UtilsJava8.java:24: error: (argument.type.incompatible)
  140. UtilsJava8.java:29: error: (assignment.type.incompatible)
  141. UtilsJava8.java:34: error: (assignment.type.incompatible)
  142. UtilsJava8.java:39: error: (argument.type.incompatible)
  143. UtilsJava8.java:50: error: (argument.type.incompatible)
  144. UtilsJava8.java:59: error: (assignment.type.incompatible)
  145. UtilsJava8.java:64: error: (argument.type.incompatible)
  146. UtilsJava8.java:73: error: (assignment.type.incompatible)
  147. UtilsJava8.java:78: error: (argument.type.incompatible)
  148. UtilsJava8.java:83: error: (argument.type.incompatible)
  149. UtilsJava8.java:88: error: (assignment.type.incompatible)
  150. UtilsJava8.java:93: error: (assignment.type.incompatible)
  151. UtilsJava8.java:98: error: (argument.type.incompatible)
  152. UtilsJava8.java:114: error: (argument.type.incompatible)
  153. UtilsJava8.java:123: error: (assignment.type.incompatible)
  154. UtilsJava8.java:128: error: (argument.type.incompatible)
  155. UtilsJava8.java:137: error: (assignment.type.incompatible)
  156. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/Operations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/ShiftPropogation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/MaskedShifts.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/DefaultsSignedness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/PolymorphicReturnType.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/CastedShifts.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/Utils.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/SignednessManualExample.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/Issue2534.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/Comparisons.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/LowerUpperBound.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/CompoundAssignments.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/ValueIntegration.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/BinaryOperations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/Issue2543.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/UtilsJava8.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/TestPrintln.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/Issue2482.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/signedness/AnnoBeforeModifier.java
  157. Testsuite: tests.SignednessTest
  158. Tests run: 6, Failures: 1, Skipped: 0, Time elapsed: 93.916 sec
  159.  
  160.  
  161. tests.NullnessFbcTest > run[nullness] FAILED
  162. java.lang.AssertionError: 735 out of 761 expected diagnostics were found.
  163. 134 unexpected diagnostics were found:
  164. Issue160.java:26: error: (dereference.of.nullable)
  165. DaikonTests.java:31: error: (dereference.of.nullable)
  166. KeyForValidation.java:50: error: (type.argument.type.incompatible)
  167. KeyForValidation.java:73: error: (type.argument.type.incompatible)
  168. KeyForValidation.java:75: error: (type.argument.type.incompatible)
  169. KeyForValidation.java:75: error: (argument.type.incompatible)
  170. KeyForValidation.java:77: error: (type.argument.type.incompatible)
  171. KeyForValidation.java:92: error: (type.argument.type.incompatible)
  172. KeyForValidation.java:113: error: (type.argument.type.incompatible)
  173. KeyForValidation.java:115: error: (type.argument.type.incompatible)
  174. KeyForValidation.java:115: error: (argument.type.incompatible)
  175. KeyForValidation.java:117: error: (type.argument.type.incompatible)
  176. ThreadLocalTest.java:10: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  177. Issue414.java:31: error: (type.argument.type.incompatible)
  178. Issue414.java:35: error: (assignment.type.incompatible)
  179. Issue414.java:36: error: (argument.type.incompatible)
  180. Issue414.java:46: error: (type.argument.type.incompatible)
  181. Issue414.java:50: error: (assignment.type.incompatible)
  182. Issue414.java:51: error: (argument.type.incompatible)
  183. Issue2619.java:37: error: (purity.not.deterministic.not.sideeffectfree.call.method)
  184. KeyForFlow.java:88: error: (type.argument.type.incompatible)
  185. KeyForFlow.java:100: error: (type.argument.type.incompatible)
  186. KeyForFlow.java:116: error: (type.argument.type.incompatible)
  187. KeyForFlow.java:156: error: (type.argument.type.incompatible)
  188. KeyForChecked.java:60: error: (type.argument.type.incompatible)
  189. KeyForChecked.java:93: error: (type.argument.type.incompatible)
  190. KeyForChecked.java:109: error: (type.argument.type.incompatible)
  191. KeyForChecked.java:120: error: (type.argument.type.incompatible)
  192. KeyForChecked.java:121: error: (type.argument.type.incompatible)
  193. KeyForChecked.java:122: error: (type.argument.type.incompatible)
  194. KeyForChecked.java:124: error: (type.argument.type.incompatible)
  195. KeyForChecked.java:124: error: (assignment.type.incompatible)
  196. KeyForChecked.java:124: error: (argument.type.incompatible)
  197. Issue415.java:15: error: (type.argument.type.incompatible)
  198. Issue415.java:17: error: (type.argument.type.incompatible)
  199. Issue415.java:17: error: (argument.type.incompatible)
  200. Issue415.java:20: error: (type.argument.type.incompatible)
  201. Issue415.java:21: error: (type.argument.type.incompatible)
  202. Issue415.java:21: error: (argument.type.incompatible)
  203. Issue415.java:24: error: (type.argument.type.incompatible)
  204. Issue415.java:25: error: (type.argument.type.incompatible)
  205. Issue415.java:29: error: (type.argument.type.incompatible)
  206. Issue415.java:29: error: (assignment.type.incompatible)
  207. Issue415.java:33: error: (type.argument.type.incompatible)
  208. Issue415.java:33: error: (assignment.type.incompatible)
  209. Issue415.java:34: error: (type.argument.type.incompatible)
  210. Issue415.java:38: error: (type.argument.type.incompatible)
  211. Issue415.java:38: error: (argument.type.incompatible)
  212. Issue415.java:42: error: (type.argument.type.incompatible)
  213. Issue415.java:42: error: (argument.type.incompatible)
  214. MissingBoundAnnotations.java:11: error: (type.argument.type.incompatible)
  215. MissingBoundAnnotations.java:11: error: (argument.type.incompatible)
  216. MissingBoundAnnotations.java:12: error: (type.argument.type.incompatible)
  217. MissingBoundAnnotations.java:17: error: (type.argument.type.incompatible)
  218. MissingBoundAnnotations.java:18: error: (type.argument.type.incompatible)
  219. PolyAllTest.java:13: error: (purity.not.deterministic.not.sideeffectfree.call.method)
  220. PolyAllTest.java:27: error: (purity.not.deterministic.not.sideeffectfree.call.method)
  221. PolyAllTest.java:32: error: (purity.not.deterministic.not.sideeffectfree.call.method)
  222. Issue1147.java:13: error: (argument.type.incompatible)
  223. WeakHasherMap.java:16: error: (purity.not.deterministic.not.sideeffectfree.call.method)
  224. WeakHasherMap.java:16: error: (argument.type.incompatible)
  225. ConditionalNullness.java:26: error: (dereference.of.nullable)
  226. ConditionalNullness.java:57: error: (dereference.of.nullable)
  227. FlowCompound.java:7: error: (purity.not.deterministic.not.sideeffectfree.call.method)
  228. FlowCompound.java:26: error: (argument.type.incompatible)
  229. Issue961.java:9: error: (argument.type.incompatible)
  230. Issue961.java:24: error: (argument.type.incompatible)
  231. Issue961.java:42: error: (argument.type.incompatible)
  232. AssertAfter2.java:10: error: (type.argument.type.incompatible)
  233. AssertAfter2.java:12: error: (type.argument.type.incompatible)
  234. AssertAfter2.java:24: error: (type.argument.type.incompatible)
  235. AssertAfter2.java:24: error: (argument.type.incompatible)
  236. AssertAfter2.java:29: error: (type.argument.type.incompatible)
  237. AssertAfter2.java:29: error: (argument.type.incompatible)
  238. AssertAfter2.java:35: error: (type.argument.type.incompatible)
  239. AssertAfter2.java:35: error: (argument.type.incompatible)
  240. AssertAfter2.java:42: error: (type.argument.type.incompatible)
  241. AssertAfter2.java:42: error: (argument.type.incompatible)
  242. AssertAfter2.java:46: error: (type.argument.type.incompatible)
  243. AssertAfter2.java:46: error: (argument.type.incompatible)
  244. RawMethodInvocation.java:25: error: (contracts.postcondition.not.satisfied)
  245. WhileTest.java:6: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  246. JavaCopFlow.java:178: error: (assignment.type.incompatible)
  247. MisuseProperties.java:62: error: (type.argument.type.incompatible)
  248. MisuseProperties.java:62: error: (assignment.type.incompatible)
  249. MisuseProperties.java:65: error: (argument.type.incompatible)
  250. MisuseProperties.java:69: error: (type.argument.type.incompatible)
  251. MisuseProperties.java:69: error: (assignment.type.incompatible)
  252. Issue563.java:6: error: (argument.type.incompatible)
  253. KeyForDiamond.java:8: error: (type.argument.type.incompatible)
  254. KeyForDiamond.java:9: error: (type.argument.type.incompatible)
  255. KeyForDiamond.java:10: error: (type.argument.type.incompatible)
  256. JavaCopExplosion.java:70: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  257. ChicoryPremain.java:7: warning: [deprecation] newInstance() in java.lang.Class has been deprecated
  258. ChicoryPremain.java:8: error: (dereference.of.nullable)
  259. UnannoPrimitives.java:13: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  260. UnannoPrimitives.java:15: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  261. LogRecordTest.java:10: error: (argument.type.incompatible)
  262. LogRecordTest.java:12: error: (argument.type.incompatible)
  263. LogRecordTest.java:14: error: (argument.type.incompatible)
  264. LogRecordTest.java:16: error: (argument.type.incompatible)
  265. LogRecordTest.java:18: error: (argument.type.incompatible)
  266. LogRecordTest.java:20: error: (argument.type.incompatible)
  267. LogRecordTest.java:22: error: (argument.type.incompatible)
  268. LogRecordTest.java:24: error: (argument.type.incompatible)
  269. KeyForSubst.java:33: error: (type.argument.type.incompatible)
  270. KeyForSubst.java:37: error: (type.argument.type.incompatible)
  271. Issue2247.java:36: warning: (known.nonnull)
  272. Issue1847.java:15: error: (type.argument.type.incompatible)
  273. Issue1847.java:15: error: (assignment.type.incompatible)
  274. Issue1847.java:17: error: (type.argument.type.incompatible)
  275. NNOEStaticFields.java:68: error: (dereference.of.nullable)
  276. NNOEStaticFields.java:74: error: (dereference.of.nullable)
  277. Issue1922.java:22: error: (argument.type.incompatible)
  278. Issue1922.java:24: error: (argument.type.incompatible)
  279. SetIteratorTest.java:27: warning: (known.nonnull)
  280. SetIteratorTest.java:41: warning: (known.nonnull)
  281. Issue1522.java:39: error: (argument.type.incompatible)
  282. Issue1522.java:49: error: (argument.type.incompatible)
  283. BinarySearch.java:9: error: (argument.type.incompatible)
  284. BinarySearch.java:10: error: (argument.type.incompatible)
  285. KeyFors.java:126: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  286. KeyFors.java:31: error: (type.argument.type.incompatible)
  287. KeyFors.java:59: error: (type.argument.type.incompatible)
  288. KeyFors.java:83: error: (type.argument.type.incompatible)
  289. KeyFors.java:85: error: (type.argument.type.incompatible)
  290. KeyFors.java:97: error: (type.argument.type.incompatible)
  291. KeyFors.java:97: error: (argument.type.incompatible)
  292. KeyFors.java:117: error: (type.argument.type.incompatible)
  293. KeyFors.java:118: error: (type.argument.type.incompatible)
  294. KeyForPropagation.java:19: error: (type.argument.type.incompatible)
  295. KeyForPropagation.java:23: error: (type.argument.type.incompatible)
  296. KeyForPropagation.java:26: error: (type.argument.type.incompatible)
  297. KeyForPropagation.java:29: error: (type.argument.type.incompatible)
  298. 26 expected diagnostics were not found:
  299. ThreadLocalTest.java:16: error: (type.argument.type.incompatible)
  300. ThreadLocalTest.java:18: error: (type.argument.type.incompatible)
  301. WeakHasherMap.java:13: error: (override.param.invalid)
  302. WeakHasherMap.java:18: error: (contracts.conditional.postcondition.not.satisfied)
  303. CopyOfArray.java:7: error: (assignment.type.incompatible)
  304. ToArrayNullness.java:13: error: (enhancedfor.type.incompatible)
  305. ToArrayNullness.java:43: error: (enhancedfor.type.incompatible)
  306. AssertAfter2.java:29: error: (assignment.type.incompatible)
  307. AssertAfter2.java:35: error: (assignment.type.incompatible)
  308. AssertAfter2.java:42: error: (assignment.type.incompatible)
  309. GetRefArg.java:8: warning: (known.nonnull)
  310. CastTypeVariable.java:14: error: (dereference.of.nullable)
  311. GetProperty.java:14: error: (assignment.type.incompatible)
  312. GetProperty.java:16: error: (assignment.type.incompatible)
  313. GetProperty.java:19: error: (assignment.type.incompatible)
  314. GetProperty.java:21: error: (assignment.type.incompatible)
  315. GetProperty.java:23: error: (assignment.type.incompatible)
  316. Issue1847.java:14: error: (dereference.of.nullable)
  317. Issue1847.java:27: error: (dereference.of.nullable)
  318. SetIteratorTest.java:30: error: (dereference.of.nullable)
  319. SetIteratorTest.java:46: error: (dereference.of.nullable)
  320. KeyForShadowing.java:42: error: (return.type.incompatible)
  321. KeyForShadowing.java:54: error: (return.type.incompatible)
  322. KeyForShadowing.java:72: error: (return.type.incompatible)
  323. KeyFors.java:18: error: (assignment.type.incompatible)
  324. KeyFors.java:73: error: (dereference.of.nullable)
  325. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue160.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssignmentDuringInitialization.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/DaikonTests.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Widening.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AnnotatedJdkTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForValidation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowLoop.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2052.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TestFromPullRequest880.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ThreadLocalTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FullyQualifiedAnnotation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue273.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InitThrows.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SuperConstructorInit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/JavaExprContext.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/GeneralATFStore.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ExceptionParam.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForPolymorphism.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Enums.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2048.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ForEachMin.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ReadyReadLine.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue414.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ReferencesDefaults.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/LogicOperations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2619.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/LazyInitialization.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/JavaCopRandomTests.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/StaticInLoop.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/OverrideNNOE.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue906.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Initializer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Bug102.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TestValOf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawInt2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForFlow.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Bug103.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NegatingConditionalNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertNullable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ArrayArgs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForChecked.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue415.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertIfChecked.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowNonThis.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NullnessFieldInvar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SuperCall.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TestInfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/BinaryOp.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/WeakRef.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/GetConstantStr.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/CastsNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MissingBoundAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/VarargsNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InitializedField.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1059.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForLocalVariable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/DefaultInterface.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForSubtyping.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ValidType.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1096.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue376.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NonEmptyCollection.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1046Java7.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1307.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NonNullIteratorNext.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/EnsuresNonNullIfTest4.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1983.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/PolyAllTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue419.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertIfClient.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SequenceAndIndices.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1628.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue989.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/IteratorEarlyExit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RefineArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TestPolyAll2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MultiAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForLub.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1147.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MyException.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowExpressionParsingBug.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/EnsuresNonNullIfTestSimple.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NNOEMoreTests.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ThisIsNN.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/WeakHasherMap.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InferTypeArgsCondtionalExpression.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2721.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowField.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1847B.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ConditionalNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowCompound.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/WeakIdentityPair.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ArrayInitBug.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MonotonicNonNullTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ExplictTypeVarAnnos.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue296.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/CopyOfArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Wildcards.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue500.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawParameter.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ToArrayNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/PrivateMethodUnknownInit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TwoStaticInitBlocks.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/EqualToNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FinalVar3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Wellformed.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue577.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue961.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FinalVar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertIfFalseTest2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TernaryNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue388.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue672.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ArrayLazyNN.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertAfter2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/GetRefArg.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ParameterExpression.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue408.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawMethodInvocation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue370.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/WhileTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForIssue328.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/DotClass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertAfterChecked.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue331.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/LubTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/EnsuresNonNullIfTest2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/StringTernaryConcat.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/CastTypeVariable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/OverrideANNA.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ExpressionsNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InfiniteLoopIsSameType.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Imports2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2619b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawTypesAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MethodInvocation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FinalVar2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FinalFields.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawAndPrimitive.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NewObjectNonNull.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AnonymousSkipDefs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/UnboxConditions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2171.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/VoidUse.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FieldInit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RequiresNonNullTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MapGetNullable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertAfter.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue829.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/PolymorphismArrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/HasInnerClass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/JavaCopFlow.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/EnumStaticBlock.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InitializationAssertionFailure.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ArrayRefs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/PackageDecl.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue328.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1027.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Exceptions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue369.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertTwice.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertParameterNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/OverrideANNA3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowConditions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/HierarchicalInit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1949.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue345.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue580.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MethodTypeVars4.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowInitialization.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ControlFlow.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertWithStatic.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SwitchTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SelfAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue261.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TryWithResources.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MisuseProperties.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ThisTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Lazy.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InferListParam.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Imports1.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ExtendsArrayList.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue266a.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue563.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/GetProperty.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue308.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ConditionalOr.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue471.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Simple2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue759.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue427.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2407.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForDiamond.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1102.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InitSuppressWarnings.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1712.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ThisLiteral.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/JavaCopExplosion.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawTypesUses.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TestPolyAll.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MultipleErrors.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NonNullInitialization.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/CompoundAssign.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/MultiConstructorInit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowSelf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue372.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SuppressDeprecation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/UnusedOnClass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/StaticInitializer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TestPolyNull.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/PureTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ChicoryPremain.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawInt.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NewNullable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SAMLineParser.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue578.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowCompoundConcatenation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/OverrideANNA2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ArrayNew.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/UnannoPrimitives.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue738.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/LogRecordTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ArrayAssignmentFlow.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ImplementInterface.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/PostconditionBug.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue411.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue295.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NullableArrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FindBugs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2470.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/VarInfoName.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Conditions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Synchronization.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue391.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue811.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue764.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForSubst.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2247.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertInStatic.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/PrimitivesNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue67.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/CallSuper.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Listener.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1555.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowNegation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/DefaultsNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawTypesNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1406.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertIfFalseTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Aliasing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1847.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1797.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TryCatch.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue400.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Polymorphism.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/NNOEStaticFields.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2031.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/OverrideNNOE2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1922.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Asserts.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SetIteratorTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Unboxing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue338.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1522.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2565.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/BinarySearch.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/DefaultAnnotation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue579Error.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue355.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/UnannoPrimitivesDefaults.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue752.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/UnexpectedRaw.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Throwing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TernaryNested.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForShadowing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyFors.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ArrayCreationNullable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InvariantTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/DefaultLoops.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/EnsuresNonNullIfInheritedTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AliasedAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/DefaultFlow.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2564.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue293.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Raw2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Marino.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForPostcondition.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/JPanelTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/KeyForPropagation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertNonNullTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/ChainAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TypeVarPrimitivesNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/InferNullType.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawField.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowConstructor.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/BoxingNullness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/RawTypesBounded.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/OverrideGenerics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/AssertIfNonNullTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/SuppressWarningsTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/TestAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue2587.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue1981.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue765.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/FlowConstructor2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue289.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/Issue266.java
  326.  
  327. tests.NullnessFbcTest > run[nullness/generics] FAILED
  328. java.lang.AssertionError: 169 out of 170 expected diagnostics were found.
  329. 22 unexpected diagnostics were found:
  330. Issue422.java:4: error: (argument.type.incompatible)
  331. KeyForPolyAll.java:13: error: (type.argument.type.incompatible)
  332. KeyForPolyAll.java:16: error: (type.argument.type.incompatible)
  333. KeyForPolyAll.java:25: error: (type.argument.type.incompatible)
  334. GenericsBounds5.java:44: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  335. BoxingGenerics.java:14: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  336. MapLoop.java:6: error: (type.argument.type.incompatible)
  337. MapLoop.java:6: error: (enhancedfor.type.incompatible)
  338. MyMap.java:9: error: (override.return.invalid)
  339. MethodTypeVars3.java:11: error: (type.argument.type.incompatible)
  340. MethodTypeVars3.java:12: error: (type.argument.type.incompatible)
  341. MethodTypeVars3.java:12: error: (argument.type.incompatible)
  342. MethodTypeVars3.java:15: error: (type.argument.type.incompatible)
  343. MethodTypeVars3.java:16: error: (type.argument.type.incompatible)
  344. MethodTypeVars3.java:18: error: (type.argument.type.incompatible)
  345. MethodTypeVars3.java:26: error: (type.argument.type.incompatible)
  346. MethodTypeVars3.java:26: error: (assignment.type.incompatible)
  347. MethodTypeVars3.java:28: error: (type.argument.type.incompatible)
  348. MethodTypeVars3.java:28: error: (argument.type.incompatible)
  349. MethodTypeVars3.java:30: error: (type.argument.type.incompatible)
  350. MethodTypeVars3.java:33: error: (type.argument.type.incompatible)
  351. MethodTypeVars.java:36: warning: [deprecation] Integer(int) in java.lang.Integer has been deprecated
  352. 1 expected diagnostic was not found:
  353. MyMap.java:9: error: (contracts.postcondition.not.satisfied)
  354. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericBoundsExplicit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue422.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/TernaryGenerics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/KeyForPolyAll.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/AnnotatedTypeParams.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue459.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsBounds5.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue269.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericArgs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsBounds4.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/VarArgs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue337.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/AnnotatedTypeParams4.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WildcardSubtyping.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericReturnField.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue783a.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MethodTypeVars6.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue428.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/InferedPrimitive.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsConstructor.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/SuperRawness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WellformedBounds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue849.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/AnnonymousClass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue326.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsBounds3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue1838.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue282Min.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsBounds2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/AnnotatedTypeParams2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/NullableLUB.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/CollectionsAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WildcardSubtypingTypeArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/AnnotatedGenerics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MethodTypeVars7.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue282.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WildcardOverride.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue312.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/AnnotatedGenerics3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsBounds1.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue1838Min.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/RawTypesGenerics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WildcardBoundDefault.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/BoxingGenerics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MapLoop.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsExampleMin.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WildcardSuper.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue240.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/AnnotatedGenerics2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MethodTypeVars5.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue313.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/NullableGeneric.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue329.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/CollectionsAnnotationsMin.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericArgs3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericsExample.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue783b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/BoundedWildcardTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MyMap.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue314.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MethodTypeVars2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WildcardAnnos.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MethodTypeVars3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/NullnessBound.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/OptionsTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue339.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/WildcardSubtyping2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue783c.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue421.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/MethodTypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue134.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue319.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/InferMethod.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue335.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/Issue270.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericTest11.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/generics/GenericArgs2.java
  355.  
  356. tests.NullnessFbcTest > run[nullness/java8] FAILED
  357. java.lang.AssertionError: 10 out of 11 expected diagnostics were found.
  358. 2 unexpected diagnostics were found:
  359. Issue366.java:12: error: (return.type.incompatible)
  360. Issue1000.java:16: error: (argument.type.incompatible)
  361. 1 expected diagnostic was not found:
  362. Issue1000.java:16: error: (return.type.incompatible)
  363. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue496.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue1633.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue448Ext.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue557.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/UnionTypeBug.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue720.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/DefaultMethods.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue448.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue366.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue596.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue579.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue1098NoJdk.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue363.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue1046Java8.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue704.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue529.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue1098.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/java8/Issue1000.java
  364.  
  365. tests.NullnessFbcTest > run[nullness/jdkannotations] FAILED
  366. java.lang.AssertionError: 0 out of 3 expected diagnostics were found.
  367. 1 unexpected diagnostic was found:
  368. Issue1402EnumName.java:13: error: (method.invocation.invalid)
  369. 3 expected diagnostics were not found:
  370. Issue1142.java:10: error: (type.argument.type.incompatible)
  371. HashtableTest.java:9: error: (type.argument.type.incompatible)
  372. HashtableTest.java:15: error: (type.argument.type.incompatible)
  373. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/jdkannotations/Issue1142.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/jdkannotations/Issue1402EnumName.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness/jdkannotations/HashtableTest.java
  374.  
  375. tests.NullnessFbcTest > run[all-systems] FAILED
  376. java.lang.AssertionError: 4 out of 4 expected diagnostics were found.
  377. 2 unexpected diagnostics were found:
  378. TypeVarAndArrayRefinement.java:5: warning: (known.nonnull)
  379. VarKeyword.java:8: error: (dereference.of.nullable)
  380. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Throw.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InitializationVisitor.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1003.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1111.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2678.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue988.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Ternary.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1039.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2195.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest12.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2480.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Annotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardForEach.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Enums.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericExtendsTypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2048.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue438.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/BigString.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest12b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1520.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1920.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1865.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2199.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue395.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2198.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue696.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1274.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1809.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/LubRawTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/MissingBoundAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue478.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue301.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardIterable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Viz.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsBounds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest13.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/MultipleUnions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferAndIntersection.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/UnionCrash.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarPrimitives.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1043.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1690.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardSuper2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgsCondtionalExpression.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue717.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2371.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2234.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AsSuperCrashes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue691.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1526.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PrintArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue392.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/UnionTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgs2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1697.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue577.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/ConditionalExpressions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1506.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue808.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarInstanceOf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/FieldAccess.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue263.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Unions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1992.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2717.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsBounds2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Catch.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardCon.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1442.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/EqualityTests.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1991Full.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1696.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1546.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgs3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue393.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildCardCrash.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GetClassTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/NodeEdgeGraph.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardBounds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2370.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1049.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue887.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1709.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/RawTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue810.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PolyAllTypeVar2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/FieldWithInit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/CompoundAssignments.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/SimpleLog.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InstanceOf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AssertWithSideEffect.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue689.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1586.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PolyCollectorTypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/SuperThis.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericNull.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsEnclosing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1587b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AssignmentContext.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue888.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2446.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1006.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue759.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1102.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue671.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardSuper.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2190.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarVarargs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2082.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1991.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AnonymousClasses.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1587.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1948.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest11full.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1698.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/BigBinaryTrees.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/ResourceVariables.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericCrazyBounds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue738.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue692.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue807.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/IntersectionTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1749.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1708.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarAndArrayRefinement.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferAndWildcards.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2302.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Options.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/StateMatch.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1543.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/RawTypeAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue953.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue396.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/IsSubarrayEq.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue457.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1867.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue953b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Arrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardCharPrimitive.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/VarKeyword.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PolyAllTypeVar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsCasts.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1431.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue913.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2088.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/ForEach.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferNullType.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/MethodTypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue437.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1738.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/DeepEquals.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2196.java
  381. Testsuite: tests.NullnessFbcTest
  382. Tests run: 15, Failures: 5, Skipped: 0, Time elapsed: 248.862 sec
  383.  
  384. Testsuite: tests.NullnessSkipDefsTest
  385. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.602 sec
  386.  
  387. Testsuite: tests.FormatterUncheckedDefaultsTest
  388. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 0.518 sec
  389.  
  390.  
  391. tests.InterningTest > run[interning] FAILED
  392. java.lang.AssertionError: 78 out of 78 expected diagnostics were found.
  393. 3 unexpected diagnostics were found:
  394. :0: warning: StubParser: could not find superinterface AlgorithmParameterSpec from type ECGenParameterSpec
  395. :-1: other: Note: Some input files use or override a deprecated API.
  396. :-1: other: Note: Recompile with -Xlint:deprecation for details.
  397. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/NestedGenerics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/TypeVarPrimitivesInterning.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Autoboxing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/ComplexComparison.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/StaticInternMethod.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/SuppressWarningsVar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/TestInfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Creation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/SequenceAndIndices.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/ConstantsInterning.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Heuristics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/TVWCSuper.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/PrimitivesInterning.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/SuppressWarningsClass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/FlowInterning1.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/MethodInvocation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/InternMethod.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/OverrideInterned.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/InternedClass2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/ClassDefaults.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Comparison.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/InternedClass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/CompileTimeConstants.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Enumerations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/StringIntern.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Subclass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Creation2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/UsesObjectEqualsTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/InternedClassDecl.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/TestExtSup.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/TestPolyAll.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/IterableGenerics.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/UnboxUninterned.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/ExpressionsInterning.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/CompileTimeConstants2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/ConditionalInterning.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Options.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/ArrayInitializers.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Polymorphism.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Raw3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/FieldsImplicits.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Arrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/MapEntryLubError.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/RecursiveClass.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/interning/Distinct.java
  398. Testsuite: tests.InterningTest
  399. Tests run: 6, Failures: 1, Skipped: 0, Time elapsed: 77.104 sec
  400.  
  401. Testsuite: tests.NullnessInvariantArraysTest
  402. Tests run: 0, Failures: 0, Skipped: 0, Time elapsed: 0.011 sec
  403.  
  404.  
  405. tests.NestedAggregateCheckerTest > run[all-systems] FAILED
  406. java.lang.AssertionError: 4 out of 4 expected diagnostics were found.
  407. 1 unexpected diagnostic was found:
  408. VarKeyword.java:8: error: (dereference.of.nullable)
  409. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Throw.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InitializationVisitor.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1003.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1111.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2678.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue988.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Ternary.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1039.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2195.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest12.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2480.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Annotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardForEach.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Enums.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericExtendsTypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2048.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue438.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/BigString.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest12b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1520.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1920.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1865.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2199.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue395.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2198.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue696.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1274.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1809.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/LubRawTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/MissingBoundAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue478.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue301.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardIterable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Viz.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsBounds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest13.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/MultipleUnions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferAndIntersection.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/UnionCrash.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarPrimitives.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1043.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1690.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardSuper2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgsCondtionalExpression.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue717.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2371.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2234.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AsSuperCrashes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue691.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1526.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PrintArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue392.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/UnionTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgs2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1697.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue577.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/ConditionalExpressions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1506.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue808.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarInstanceOf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/FieldAccess.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue263.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Unions.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1992.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2717.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsBounds2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Catch.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardCon.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1442.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/EqualityTests.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1991Full.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1696.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1546.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgs3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue393.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildCardCrash.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GetClassTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/NodeEdgeGraph.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardBounds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2370.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1049.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue887.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1709.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/RawTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue810.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PolyAllTypeVar2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/FieldWithInit.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/CompoundAssignments.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/SimpleLog.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InstanceOf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AssertWithSideEffect.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue689.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1586.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PolyCollectorTypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/SuperThis.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericNull.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsEnclosing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1587b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AssignmentContext.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue888.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2446.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1006.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue759.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferTypeArgs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1102.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue671.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardSuper.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2190.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarVarargs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2082.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1991.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/AnonymousClasses.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1587.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1948.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericTest11full.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1698.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/BigBinaryTrees.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/ResourceVariables.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericCrazyBounds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue738.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue692.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue807.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/IntersectionTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1749.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1708.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/TypeVarAndArrayRefinement.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferAndWildcards.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2302.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Options.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/StateMatch.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1543.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/RawTypeAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue953.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue396.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/IsSubarrayEq.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue457.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1867.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue953b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Arrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/WildcardCharPrimitive.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/VarKeyword.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/PolyAllTypeVar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/GenericsCasts.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1431.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue913.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2088.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/ForEach.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/InferNullType.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/MethodTypeVars.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue437.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue1738.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/DeepEquals.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/all-systems/Issue2196.java
  410. Testsuite: tests.NestedAggregateCheckerTest
  411. Tests run: 6, Failures: 1, Skipped: 0, Time elapsed: 248.853 sec
  412.  
  413. Testsuite: tests.CompilerMessagesTest
  414. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 39.214 sec
  415.  
  416. Testsuite: tests.NullnessSafeDefaultsSourceCodeTest
  417. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 1.421 sec
  418.  
  419. Testsuite: tests.GuiEffectTest
  420. Tests run: 7, Failures: 0, Skipped: 0, Time elapsed: 29.392 sec
  421.  
  422. Testsuite: tests.ValueIndexInteractionTest
  423. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 1.13 sec
  424.  
  425.  
  426. tests.LockTest > run[lock] FAILED
  427. java.lang.AssertionError: 366 out of 371 expected diagnostics were found.
  428. 30 unexpected diagnostics were found:
  429. Strings.java:37: error: (method.invocation.invalid)
  430. Strings.java:53: error: (method.invocation.invalid)
  431. ChapterExamples.java:75: error: (argument.type.incompatible)
  432. ChapterExamples.java:75: error: (method.invocation.invalid)
  433. ChapterExamples.java:528: error: (lock.not.held)
  434. ChapterExamples.java:529: error: (lock.not.held)
  435. ChapterExamples.java:531: error: (lock.not.held)
  436. ChapterExamples.java:533: error: (lock.not.held)
  437. ChapterExamples.java:541: error: (lock.not.held)
  438. ChapterExamples.java:542: error: (lock.not.held)
  439. TestTreeKinds.java:35: error: (contracts.postcondition.not.satisfied)
  440. TestTreeKinds.java:40: error: (contracts.postcondition.not.satisfied)
  441. TestTreeKinds.java:46: error: (contracts.conditional.postcondition.not.satisfied)
  442. TestTreeKinds.java:139: error: (lock.not.held)
  443. TestTreeKinds.java:280: error: (lock.not.held)
  444. FullyQualified.java:12: error: (method.invocation.invalid)
  445. LockInterfaceTest.java:31: error: (contracts.precondition.not.satisfied)
  446. LockInterfaceTest.java:38: error: (contracts.precondition.not.satisfied)
  447. LockInterfaceTest.java:45: error: (contracts.precondition.not.satisfied)
  448. LockInterfaceTest.java:52: error: (contracts.precondition.not.satisfied)
  449. LockEffectAnnotations.java:55: error: (lock.not.held)
  450. LockEffectAnnotations.java:57: error: (lock.not.held)
  451. LockEffectAnnotations.java:59: error: (lock.not.held)
  452. LockEffectAnnotations.java:66: error: (lock.not.held)
  453. LockEffectAnnotations.java:74: error: (lock.not.held)
  454. Issue753.java:47: error: (method.guarantee.violated)
  455. LockExpressionIsFinal.java:321: error: (lock.not.held)
  456. LockExpressionIsFinal.java:332: error: (lock.not.held)
  457. :-1: other: Note: tests/lock/ChapterExamples.java uses or overrides a deprecated API.
  458. :-1: other: Note: Recompile with -Xlint:deprecation for details.
  459. 5 expected diagnostics were not found:
  460. Strings.java:37: error: (lock.not.held)
  461. LockExpressionIsFinal.java:127: error: (lock.expression.not.final)
  462. LockExpressionIsFinal.java:136: error: (lock.expression.possibly.not.final)
  463. LockExpressionIsFinal.java:158: error: (lock.expression.not.final)
  464. LockExpressionIsFinal.java:175: error: (lock.expression.not.final)
  465. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/GuardedByLocalVariable.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/SimpleLockTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ViewpointAdaptation2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/FlowExpressionsTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ThisPostCondition.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/NestedSynchronizedBlocks.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Update.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/TestAnon.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ViewpointAdaptation3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Overriding.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/JCIPAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/TestConcurrentSemantics2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Issue804.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Strings.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ChapterExamples.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ItselfExpressionCases.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ClassLiterals.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Methods.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Issue805.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Fields.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/TypeVarNull.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ConstructorReturnNPE.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/TestTreeKinds.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ConstructorsLock.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Issue523.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/TestConcurrentSemantics1.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/FullyQualified.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/LockInterfaceTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Issue2163Lock.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Issue524.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/LockEffectAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/ViewpointAdaptation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/Issue753.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/LockExpressionIsFinal.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/lock/GuardSatisfiedTest.java
  466. Testsuite: tests.LockTest
  467. Tests run: 6, Failures: 1, Skipped: 0, Time elapsed: 106.368 sec
  468.  
  469. Testsuite: tests.NullnessTempTest
  470. Tests run: 0, Failures: 0, Skipped: 0, Time elapsed: 0.004 sec
  471.  
  472.  
  473. tests.NullnessAssumeAssertionsAreDisabled > run[nullness-assumeassertions] FAILED
  474. java.lang.AssertionError: 1 out of 1 expected diagnostics was found.
  475. 1 unexpected diagnostic was found:
  476. TestAssumeAssertionsAreDisabled.java:12: error: (argument.type.incompatible)
  477. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness-assumeassertions/TestAssumeAssertionsAreDisabled.java
  478. Testsuite: tests.NullnessAssumeAssertionsAreDisabled
  479. Tests run: 1, Failures: 1, Skipped: 0, Time elapsed: 0.527 sec
  480.  
  481.  
  482. tests.IndexTest > run[index] FAILED
  483. java.lang.AssertionError: 373 out of 401 expected diagnostics were found.
  484. 33 unexpected diagnostics were found:
  485. LengthTransfer2.java:11: error: (array.access.unsafe.high.constant)
  486. LengthTransfer2.java:12: error: (array.access.unsafe.high.constant)
  487. BinarySearchTest.java:20: error: (array.access.unsafe.high)
  488. BinarySearchTest.java:24: error: (array.access.unsafe.high.range)
  489. BinarySearchTest.java:33: error: (array.access.unsafe.high)
  490. StringSameLen.java:22: error: (array.access.unsafe.high.range)
  491. MinMaxIndex.java:11: error: (array.access.unsafe.high)
  492. RefineNeqLength.java:76: error: (return.type.incompatible)
  493. SearchIndexTests.java:7: error: (assignment.type.incompatible)
  494. SearchIndexTests.java:10: error: (assignment.type.incompatible)
  495. StringLenRefinement.java:12: error: (assignment.type.incompatible)
  496. StringLenRefinement.java:14: error: (assignment.type.incompatible)
  497. StringLenRefinement.java:18: error: (assignment.type.incompatible)
  498. StringLenRefinement.java:20: error: (assignment.type.incompatible)
  499. StringLenRefinement.java:24: error: (assignment.type.incompatible)
  500. StringLenRefinement.java:27: error: (assignment.type.incompatible)
  501. StringLenRefinement.java:35: error: (assignment.type.incompatible)
  502. StringLenRefinement.java:39: error: (assignment.type.incompatible)
  503. BitSetLowerBound.java:14: error: (assignment.type.incompatible)
  504. BitSetLowerBound.java:16: error: (assignment.type.incompatible)
  505. BitSetLowerBound.java:17: error: (assignment.type.incompatible)
  506. CheckAgainstNegativeOne.java:16: error: (assignment.type.incompatible)
  507. StringLength.java:70: error: (assignment.type.incompatible)
  508. StringLength.java:77: error: (assignment.type.incompatible)
  509. StringLength.java:78: error: (assignment.type.incompatible)
  510. StartsEndsWith.java:12: error: (assignment.type.incompatible)
  511. NonNegativeCharValue.java:5: error: (argument.type.incompatible)
  512. RandomTestLBC.java:11: error: (assignment.type.incompatible)
  513. Issue2334.java:14: error: (assignment.type.incompatible)
  514. Issue2334.java:29: error: (assignment.type.incompatible)
  515. CharSequenceTest.java:56: error: (assignment.type.incompatible)
  516. RegexMatcher.java:18: error: (assignment.type.incompatible)
  517. RegexMatcher.java:19: error: (assignment.type.incompatible)
  518. 28 expected diagnostics were not found:
  519. ReflectArray.java:8: error: (argument.type.incompatible)
  520. ReflectArray.java:23: error: (argument.type.incompatible)
  521. MinMaxIndex.java:24: error: (argument.type.incompatible)
  522. MinMaxIndex.java:30: error: (argument.type.incompatible)
  523. StringBuilderOffset.java:7: error: (argument.type.incompatible)
  524. StringMethods.java:7: error: (argument.type.incompatible)
  525. StringMethods.java:9: error: (argument.type.incompatible)
  526. StringMethods.java:19: error: (argument.type.incompatible)
  527. StringMethods.java:33: error: (argument.type.incompatible)
  528. StringMethods.java:35: error: (argument.type.incompatible)
  529. LTLengthOfPostcondition.java:22: error: (argument.type.incompatible)
  530. BitSetLowerBound.java:13: error: (argument.type.incompatible)
  531. StringOffsetTest.java:6: error: (argument.type.incompatible)
  532. Index176.java:14: error: (argument.type.incompatible)
  533. SkipBufferedReader.java:10: error: (argument.type.incompatible)
  534. OffsetAnnotations.java:8: error: (argument.type.incompatible)
  535. OffsetAnnotations.java:15: error: (argument.type.incompatible)
  536. Issue2420.java:13: error: (argument.type.incompatible)
  537. Issue2420.java:15: error: (argument.type.incompatible)
  538. StringIndexOf.java:16: error: (argument.type.incompatible)
  539. StringIndexOf.java:33: error: (argument.type.incompatible)
  540. StringIndexOf.java:42: error: (argument.type.incompatible)
  541. CharSequenceTest.java:24: error: (argument.type.incompatible)
  542. CharSequenceTest.java:63: error: (argument.type.incompatible)
  543. CharSequenceTest.java:65: error: (argument.type.incompatible)
  544. CharSequenceTest.java:71: error: (argument.type.incompatible)
  545. CharSequenceTest.java:77: error: (argument.type.incompatible)
  546. ArraysSort.java:10: error: (argument.type.incompatible)
  547. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SimpleTransferSub.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Modulo.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/AnnotatedJDKTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ReflectArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayCopy.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IteratorVoid.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayIntroWithCast.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/OffsetsAndConstants.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LengthTransfer2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2029.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Index118NoLoop.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/VoidType.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexIntValVsConstant.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LiteralString.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/UpperBoundRefinement.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/DaikonCrash.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineEq.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenLUBStrangeness.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Boilerplate.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayCreationParam.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IntroAnd.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexByChar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SLSubtyping.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinLenOneAndLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IntroSub.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinLenIndexFor.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BinarySearchTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayCreationChecks.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenFormalParameter2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringSameLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Index132.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinMaxIndex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/TransferSub.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ConstantArrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefinementGT.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/EndsWith.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue194.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinLenFourShenanigans.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BasicSubsequence.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SwitchDataflowRefinement.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/NotEqualTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SizeVsLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringBuilderOffset.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenNewArrayWithSameLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/EndsWith2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/GreaterThanTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Split.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanOrEqualTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PlumeFailMin.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/divisionTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexConditionalReport.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ConstantOffsets.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ObjectClone.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineNeqLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineLT.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Stopwatch.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinLenFromPositive.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ParserOffsetTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PolyLengthTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanConstantAddition.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SearchIndexTests.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Index118.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/NonNegArrayLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/EqualToIndex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinMax.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ShiftRight.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayLength2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ConstantsIndex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayIntro.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CompoundAssignmentCheck.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/GreaterThanOrEqualTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefinementGTE.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/OffsetExample.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayWrapper.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringMethods.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/HexEncode.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenAssignmentTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/UBSubtyping.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefinementNEq.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LengthOfTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2629.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CheckNotNull1.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayLengthEquality.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenEqualsRefinement.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/EnumValues.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue1984.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ValueCheckerProblem.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2613.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanLenBug.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LengthOfArrayMinusOne.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RandomTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/NegativeArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanZeroArrayLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LengthTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LTLengthOfPostcondition.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenWithObjects.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringLenRefinement.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineLTE.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue58Minimization.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexForTwoArrays2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Index115.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PlumeFail.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanValue.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/TransferMod.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PreAndPostDec.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IntroShift.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LTLDivide.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayLength3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BitSetLowerBound.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PlusPlusBug.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LongAndIntegerBitsMethods.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CheckAgainstNegativeOne.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenSimpleCase.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RangeIndex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BottomValTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Offset97.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IntroRules.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/GuavaPrimitives.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenSelf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PrimitiveWrappers.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenOnFormalParameterSimple.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexForTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenTripleThreat.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/OnlyCheckSubsequenceWhenAssigningToArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefinementLTE.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MethodOverrides.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Kelloggm225.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanDec.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue20.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayLenTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SwitchTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/OneLTL.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanCustomCollection.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CharToIntCast.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CustomContractWithArgs.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Loops.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/TransferTimes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BasicSubsequence2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayNull.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefinementEq.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/UBPoly.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CheckNotNull2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BasicSubsequence3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LengthTransferForMinLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexForTwoArrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StartsEndsWith.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/EqualToTransfer.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2493.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue60.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/GenericAssignment.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/OneOrTwo.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Dimension.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineGTE.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinLenFieldInvar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringOffsetTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue21.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefinementLT.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Polymorphic.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/NotEnoughOffsets.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineGT.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PolyCrash.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexForAverage.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineNeq.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ConditionalIndex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LiteralArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Index176.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Kelloggm228.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SkipBufferedReader.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineLTE2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Polymorphic2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LubIndex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SubtractingNonNegatives.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ErrorMessageCheck.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayConstructionPositiveLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/TestAgainstLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Errors.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2494.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexForTestLBC.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SimpleCollection.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/UncheckedMinLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ExampleUsage.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenOnFormalParameter.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/VarArgsIncompatible.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/TransferDivide.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LBCSubtyping.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CombineFacts.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IntroAdd.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayLengthLBC.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Return.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BinomialTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/NonNegativeCharValue.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RandomTestLBC.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/NegativeIndex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Index167.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/OffsetAnnotations.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexSameLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/LessThanLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayAssignmentSameLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2420.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CastArray.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayCreation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SimpleTransferAdd.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Pilot3ArrayCreation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ZeroMinLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2334.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ShiftRightAverage.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/AndExample.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringIndexOf.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/InvalidSubsequence.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/CharSequenceTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/PredecrementTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RefineSubtrahend.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SpecialTransfersForEquality.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/StringTokenizerMinLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Index166.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2030.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArrayLength.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/BigBinaryExpr.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue2505.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/SameLenManyArrays.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MinLenSameLenInteraction.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/IndexOrLowTests.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Issue1411.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/NonnegativeChar.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ParsingBug.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/TransferAdd.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/TypeArrayLengthWithSameLen.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/MLEqualTo.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/RegexMatcher.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/ArraysSort.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/index/Polymorphic3.java
  548. Testsuite: tests.IndexTest
  549. Tests run: 6, Failures: 1, Skipped: 0, Time elapsed: 378.292 sec
  550.  
  551. Testsuite: tests.NullnessFbcJavacErrorsTest
  552. Tests run: 2, Failures: 0, Skipped: 0, Time elapsed: 0.203 sec
  553.  
  554. Testsuite: tests.I18nTest
  555. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 68.023 sec
  556.  
  557. Testsuite: tests.TaintingTest
  558. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 44.563 sec
  559.  
  560.  
  561. tests.OptionalTest > run[optional] FAILED
  562. java.lang.AssertionError: 12 out of 16 expected diagnostics were found.
  563. 2 unexpected diagnostics were found:
  564. JdkCheck.java:38: error: (return.type.incompatible)
  565. JdkCheck.java:47: error: (return.type.incompatible)
  566. 4 expected diagnostics were not found:
  567. JdkCheck.java:25: error: (method.invocation.invalid)
  568. JdkCheck.java:34: error: (method.invocation.invalid)
  569. Marks2.java:23: error: (method.invocation.invalid)
  570. FlowSensitivity.java:9: error: (method.invocation.invalid)
  571. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/Marks7.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/JdkCheck.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/Marks6.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/Marks3a.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/Marks2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/SubtypeCheck.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/Marks5.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/Marks3b.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/FlowSensitivity.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/optional/Marks4.java
  572. Testsuite: tests.OptionalTest
  573. Tests run: 6, Failures: 1, Skipped: 0, Time elapsed: 40.965 sec
  574.  
  575. Testsuite: tests.FenumSwingTest
  576. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 42.501 sec
  577.  
  578.  
  579. tests.FormatterTest > run[formatter] FAILED
  580. java.lang.AssertionError: 92 out of 92 expected diagnostics were found.
  581. 2 unexpected diagnostics were found:
  582. :-1: other: Note: tests/formatter/ConversionBasic.java uses or overrides a deprecated API.
  583. :-1: other: Note: Recompile with -Xlint:deprecation for details.
  584. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/ManualExampleFormatter.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/ConversionNull2.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/FlowFormatter.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/FormatBasic.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/FormatMethodAnnotation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/FormatIndexing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/FormatMethodInvocation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/ConversionBasic.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/ConversionNull.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/Issue285.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/formatter/VarargsFormatter.java
  585. Testsuite: tests.FormatterTest
  586. Tests run: 6, Failures: 1, Skipped: 0, Time elapsed: 44.043 sec
  587.  
  588. Testsuite: tests.FenumTest
  589. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 40.35 sec
  590.  
  591. Testsuite: tests.I18nFormatterTest
  592. Tests run: 6, Failures: 0, Skipped: 0, Time elapsed: 44.33 sec
  593.  
  594. Testsuite: tests.NullnessGenericWildcardTest
  595. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 1.032 sec
  596.  
  597.  
  598. tests.RegexTest > run[regex] FAILED
  599. java.lang.AssertionError: 77 out of 77 expected diagnostics were found.
  600. 1 unexpected diagnostic was found:
  601. MatcherGroupCount.java:21: error: (argument.type.incompatible)
  602. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/Continue.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/TypeParamSubtype.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/SimpleRegex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/GroupCounts.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/AnnotatedTypeParams3.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/Issue809.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/TestRegex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/RegexUtilTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/MatcherGroupCount.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/GenericsEnclosing.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/TypeVarMemberSelect.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/TestIsRegex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/RawTypeTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/PartialRegex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/WildcardInvoke.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/InvariantTypes.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/ForEach.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/LubRegex.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/GenericsBoundsRange.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/Annotation.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/regex/MyMatchResult.java
  603. Testsuite: tests.RegexTest
  604. Tests run: 7, Failures: 1, Skipped: 0, Time elapsed: 46.735 sec
  605.  
  606. Testsuite: tests.StubparserTests
  607. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 2.362 sec
  608.  
  609.  
  610. tests.NullnessSafeDefaultsBytecodeTest > run[nullness-safedefaultsbytecode] FAILED
  611. java.lang.AssertionError: 2 out of 2 expected diagnostics were found.
  612. 1 unexpected diagnostic was found:
  613. ArraysMDE.java:24: error: (argument.type.incompatible)
  614. While type-checking /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness-safedefaultsbytecode/BytecodeDefaultsTest.java, /Users/hoangnhat/GitHub/checker-framework/checker/tests/nullness-safedefaultsbytecode/ArraysMDE.java
  615. Testsuite: tests.NullnessSafeDefaultsBytecodeTest
  616. Tests run: 1, Failures: 1, Skipped: 0, Time elapsed: 0.741 sec
  617.  
  618. Testsuite: tests.NullnessReflectionTest
  619. Tests run: 1, Failures: 0, Skipped: 0, Time elapsed: 1.969 sec
  620.  
  621.  
  622. > Task :checker-framework:checker:test FAILED
  623. > Task :checker:allTests FAILED
  624.  
  625. > Task :checker-framework:checker-qual-android:checkPurity
  626.  
  627. > Task :checker-framework:checker-qual-android:checkPurity FAILED
  628. > Task :checker-qual-android:allTests FAILED
  629.  
  630. > Task :checker-framework:dataflow:checkPurity
  631.  
  632. > Task :checker-framework:dataflow:checkPurity FAILED
  633. > Task :dataflow:allTests FAILED
  634. 4 actionable tasks: 4 executed
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement