Esempio n. 1
0
def test_unit_propagate_int_repr():
    assert unit_propagate_int_repr([set([1, 2])], 1) == []
    assert unit_propagate_int_repr(map(set, [[1, 2], [-1, 3], [-3, 2], [1]]),
                                   1) == [
                                       set([3]),
                                       set([-3, 2]),
                                   ]
Esempio n. 2
0
def test_unit_propagate_int_repr():
    assert unit_propagate_int_repr([set([1, 2])], 1) == []
    assert unit_propagate_int_repr(map(set,
        [[1, 2], [-1, 3], [-3, 2], [1]]), 1) == [set([3]), set([-3, 2])]
Esempio n. 3
0
def test_unit_propagate_int_repr():
    assert unit_propagate_int_repr([{1, 2}], 1) == []
    assert unit_propagate_int_repr(map(set, [[1, 2], [-1, 3], [-3, 2], [1]]),
                                   1) == [{3}, {-3, 2}]
Esempio n. 4
0
def test_unit_propagate_int_repr():
    assert unit_propagate_int_repr([[1, 2]], 1) == []
    assert unit_propagate_int_repr([[1, 2], [-1, 3], [-3, 2], [1]], 1) == \
        [[3], [-3, 2], [1]]