async def test_record_eq(self):
    same = ([V20PresExRecord(pres_ex_id='dummy-0', thread_id='thread-0', role=V20PresExRecord.ROLE_PROVER)] * 2)
    diff = [V20PresExRecord(pres_ex_id='dummy-1', role=V20PresExRecord.ROLE_PROVER), V20PresExRecord(pres_ex_id='dummy-0', thread_id='thread-1', role=V20PresExRecord.ROLE_PROVER), V20PresExRecord(pres_ex_id='dummy-1', thread_id='thread-0', role=V20PresExRecord.ROLE_VERIFIER)]
    for i in range((len(same) - 1)):
        for j in range(i, len(same)):
            assert (same[i] == same[j])
    for i in range((len(diff) - 1)):
        for j in range(i, len(diff)):
            assert ((diff[i] == diff[j]) if (i == j) else (diff[i] != diff[j]))
async def test_record_eq(self):
    same = ([V20PresExRecord(pres_ex_id='dummy-0', thread_id='thread-0', role=V20PresExRecord.ROLE_PROVER)] * 2)
    diff = [V20PresExRecord(pres_ex_id='dummy-1', role=V20PresExRecord.ROLE_PROVER), V20PresExRecord(pres_ex_id='dummy-0', thread_id='thread-1', role=V20PresExRecord.ROLE_PROVER), V20PresExRecord(pres_ex_id='dummy-1', thread_id='thread-0', role=V20PresExRecord.ROLE_VERIFIER)]
    for i in range((len(same) - 1)):
        for j in range(i, len(same)):
            assert (same[i] == same[j])
    for i in range((len(diff) - 1)):
        for j in range(i, len(diff)):
            assert ((diff[i] == diff[j]) if (i == j) else (diff[i] != diff[j]))