Commits

Pierre Carbonnelle committed bbcd4c0

import

Comments (0)

Files changed (1)

pyDatalog/test_of_performance.py

 import time
 import six
 
-from pyDatalog import pyDatalog
+import pyDatalog
 def test1():
 
     """ Large database + deep recursion """
     def _(): # the function name is ignored
 
         + even(0)
-        even(N) <= (N > 0) & (N1==N-1) & odd(N1)
+        even(N) <= (N > 0) & odd(N-1)
         assert ask(even(0)) == set([(0,)])
-        odd(N) <= (N > 0) & (N1==N-1) & even(N1)
+        odd(N) <= (N > 0) & even(N-1)
 
         assert ask(odd(9999)) == set([(9999,)])