def verify(name, content, package=package, project=project, parent=parent, endpoint=endpoint):
    # send job verify2 to api
    sock = request('verify2', name, content, package, project, parent, endpoint)

    # decode result into sane json
    resp = decode(sock.recv())

    while resp['status'] == 'processing':
        # parse results into a number indication prove result
        if 'Proved' in resp['result']['result']:
            result = 0
        elif 'Timeout' in resp['result']['result']:
            result = 1
        elif resp['result']['result'] in 'Skipped':
            result = 2
        else:
            result = 3

        # yield verification with id and result
        yield {'id': resp['result']['id'], 'result': result}

        # decode result into sane json
        resp = decode(sock.recv())

    # make sure job completed
    if resp['status'] != 'complete':
        try:
            raise ResolveCompilerError(resp['errors'][0]['errors'])
        except KeyError:
            raise ResolveAPIError(resp['bugs'][0]['bugs'])
dataset/ETHPy150Open fkmclane/vim-resolve/rplugin/python3/resolve/api.py/verify/swapped operands of `in`