tree bcccaee254faaa04f48b7ee464dc897b28364c71
parent e45d82ab0bfa8f651b36f5bf1fb4e8a25963d341
author Jennifer Liu <jenniferliu620@fb.com> 1535666039 -0700
committer Jennifer Liu <jenniferliu620@fb.com> 1535666362 -0700

Always use splitPoint=1.0 for non-optimize cover and fastcover