def _get_pc_covered(self):
        if self.n_statements > 0:
            pc_cov = (100.0 * (self.n_executed + self.n_executed_branches) /
                        (self.n_statements + self.n_branches))
        else:
            pc_cov = 100.0
        return pc_cov
Will check if section.option exists in config_file, return its int casted value,
dataset/ETHPy150Open RoseOu/flasky/venv/lib/python2.7/site-packages/coverage/results.py/Numbers._get_pc_covered--crossover with--dataset/ETHPy150Open jookies/jasmin/jasmin/config/tools.py/ConfigFile._getint