示例#1
0
文件： tool.py 项目： griels/pypy-sc 
def assert_true(query, e=None):
    if e is None:
        e = Engine()
    terms, vars = e.parse(query)
    term, = terms
    e.run(term)
    return dict([(name, var.dereference(e.heap))
                 for name, var in vars.iteritems()])
示例#2
0
def assert_true(query, e=None):
    if e is None:
        e = Engine()
    terms, vars = e.parse(query)
    term, = terms
    e.run(term)
    return dict([(name, var.dereference(e.heap))
                     for name, var in vars.iteritems()])
示例#3
0
文件： tool.py 项目： griels/pypy-sc 
def assert_false(query, e=None):
    if e is None:
        e = Engine()
    term = e.parse(query)[0][0]
    py.test.raises(UnificationFailed, e.run, term)
示例#4
0
def assert_false(query, e=None):
    if e is None:
        e = Engine()
    term = e.parse(query)[0][0]
    py.test.raises(UnificationFailed, e.run, term)