Fix number of test cases saved in the fault localization metric.
Fix comparison of coverage in partition algorithm.