search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Disable assertions in org.checkerframework.framework.flow #54

Closed smillst closed 7 years ago

wmdietl commented 7 years ago

@CharlesZ-Chen Can you remember to undo this when your real fix is ready?

CharlesZ-Chen commented 7 years ago

Hi Prof. Dietl, I have a pending PR related this fix in opprop/CF:

https://github.com/opprop/checker-framework/pull/48

And my investigation result is CF Inference is reasonable to disable that validation in CF.dataflow. The detail reason was explained in above PR.