Code

Test fixes#173

Code

Merged

wmdietl merged 10 commits intomain-eisopjspecify/jspecify-reference-checker:main-eisopfrom test-fixesjspecify/jspecify-reference-checker:test-fixesCopy head branch name to clipboardApr 17, 2024

+41-56

Commits

Commits on Apr 14, 2024

• Adapt to changes in eisop/checker-framework#739

  wmdietl

  committed
  9fef70b

• Add regression test case; adapt to API changes

  wmdietl

  committed
  d3198a3

• Remove accesses and assertions that are no longer needed.

  Show description for 9c70df2
  wmdietl

  committed
  9c70df2

• Run the regression tests

  wmdietl

  committed
  4011143

Commits on Apr 15, 2024

• Include "kind" in output; remove debugging output

  wmdietl

  committed
  c8a671e

Commits on Apr 16, 2024

• Adapt nullness annotation/comment; undo changes to hashCode/equals.

  wmdietl

  committed
  f44acb0

• Relativize earlier.

  wmdietl

  committed
  92a4658

Commits on Apr 17, 2024

• More robust check

  Show description for 87b8038
  

  wmdietl

  and

  netdpb

  authored
  87b8038

• Remove redundant null check

  wmdietl

  committed
  df2dcd1

• Remove old comment

  wmdietl

  committed
  04eeebb