def global_coverage(self, account):
account_address = int(account)<EOL>runtime_bytecode = None<EOL>for state in self.all_states:<EOL><INDENT>world = state.platform<EOL>if account_address in world:<EOL><INDENT>code = world.get_code(account_address)<EOL>runtime_bytecode = state.solve_one(code)<EOL>break<EOL><DEDENT><DEDENT>else:<EOL><INDENT>return <NUM_LIT:0.0><EOL><DEDENT>with self.locked_context('<STR_LIT>') as coverage:<EOL><INDENT>seen = {off for addr, off in coverage if addr == account_address}<EOL><DEDENT>return calculate_coverage(runtime_bytecode, seen)<EOL>
Returns code coverage for the contract on `account_address`.
            This sums up all the visited code lines from any of the explored
            states.