Also, travis test is expected to be failed even the above dependent PR get merged, due to CFI currently always failing an assertion in CF (CFAbstractValue line 73 assert validSet()), and this is exposed once we move CFI from bootclasspath to classpath, which enable assertion checks.
This assertion failure needs to be further investigated and we will make another PR once we have a proper solution.
wmdietl
commented
7 years ago
This PR had a first round of review by @wmdietl:
https://github.com/opprop/checker-framework-inference/pull/62
This PR depends on https://github.com/typetools/checker-framework/pull/1480 .
Also, travis test is expected to be failed even the above dependent PR get merged, due to CFI currently always failing an assertion in CF (CFAbstractValue line 73
assert validSet()), and this is exposed once we move CFI from bootclasspath to classpath, which enable assertion checks.This assertion failure needs to be further investigated and we will make another PR once we have a proper solution.