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