コード例 #1
0
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    for el in sub_set:
        if el not in x:
            return False

    return True
コード例 #2
0
def prop(a: A, x: number):
    shuffled = a.shuffle([x])
    return shuffled == [x]
コード例 #3
0
def prop(a: A, x: [number]):
    shuffled = a.shuffle(x)
    return len(shuffled) == len(x)
コード例 #4
0
def prop(a: A, x: non_empty_list):
    element = a.one_of(*x)
    return element in x
コード例 #5
0
def prop(a: A, x: non_empty_list):
    sub_set = a.some_of(x, empty=False)
    return len(sub_set) >= 1
コード例 #6
0
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    return len(sub_set) <= len(x)
コード例 #7
0
ファイル: test_arb.py プロジェクト: edofic/quick.py 
def prop(a: A, x: number):
    shuffled = a.shuffle([x])
    return shuffled == [x]
コード例 #8
0
ファイル: test_arb.py プロジェクト: edofic/quick.py 
def prop(a: A, x: [number]):
    shuffled = a.shuffle(x)
    return len(shuffled) == len(x)
コード例 #9
0
ファイル: test_arb.py プロジェクト: edofic/quick.py 
def prop(a: A, x: non_empty_list):
    element = a.one_of(*x)
    return element in x
コード例 #10
0
ファイル: test_arb.py プロジェクト: edofic/quick.py 
def prop(a: A, x: non_empty_list):
    sub_set = a.some_of(x, empty=False)
    return len(sub_set) >= 1
コード例 #11
0
ファイル: test_arb.py プロジェクト: edofic/quick.py 
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    return len(sub_set) <= len(x)
コード例 #12
0
ファイル: test_arb.py プロジェクト: edofic/quick.py 
def prop(a: A, x: [number]):
    sub_set = a.some_of(x)
    for el in sub_set:
        if el not in x:
            return False
    return True