Skip to content
Snippets Groups Projects
Commit a9bc70fb authored by Valentin Lorentz's avatar Valentin Lorentz
Browse files

Fix tests to work with inverse predicates.

parent ec226ed6
No related branches found
No related tags found
No related merge requests found
...@@ -5,6 +5,7 @@ from ppp_libmodule import shortcuts ...@@ -5,6 +5,7 @@ from ppp_libmodule import shortcuts
from ppp_datamodel.nodes import Triple as T from ppp_datamodel.nodes import Triple as T
from ppp_datamodel.nodes import Missing as M from ppp_datamodel.nodes import Missing as M
from ppp_datamodel.nodes import Missing as R from ppp_datamodel.nodes import Missing as R
from ppp_datamodel.nodes import List as L
from ppp_datamodel.communication import Response, TraceItem from ppp_datamodel.communication import Response, TraceItem
def predicate(node): def predicate(node):
...@@ -14,6 +15,8 @@ def predicate(node): ...@@ -14,6 +15,8 @@ def predicate(node):
return R('bar') return R('bar')
elif node == M(): elif node == M():
return node return node
elif node == L([]):
return node
else: else:
assert False, node assert False, node
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment