def _call(self, input_str, binary, args=[], verbose=False):
        if verbose:
            print('Calling:', binary)
            print('Args:', args)
            print('Input:\n', input_str, '\n')

        # Call prover9 via a subprocess
        cmd = [binary] + args
        try:
            input_str = input_str.encode("utf8")
        except AttributeError:
            pass
        p = subprocess.Popen(cmd, stdout=subprocess.PIPE,
                             stderr=subprocess.STDOUT,
                             stdin=subprocess.PIPE)
        (stdout, stderr) = p.communicate(input=input_str)

        if verbose:
            print('Return code:', p.returncode)
            if stdout: print('stdout:\n', stdout, '\n')
            if stderr: print('stderr:\n', stderr, '\n')

        return (stdout.decode("utf-8"), p.returncode)
Hit test a dock area for a relevant dock target.
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/Prover9Parent._call--crossover with--dataset/ETHPy150Open nucleic/enaml/enaml/qt/docking/layout_handling.py/layout_hit_test