Esempio n. 1
0
def test_concretehead_failure():
    t = symbol('t', 'var * {x:int, y:int}')
    d = t[t['x'] > 100]
    with pytest.raises(ValueError):
        concrete_head(d)
Esempio n. 2
0
def test_concretehead_failure():
    t = symbol('t', 'var * {x:int, y:int}')
    d = t[t['x'] > 100]
    with pytest.raises(ValueError):
        concrete_head(d)
Esempio n. 3
0
def test_concretehead_failure():
    t = symbol("t", "var * {x:int, y:int}")
    d = t[t["x"] > 100]
    with pytest.raises(ValueError):
        concrete_head(d)