[pypy-svn] r23289 - pypy/dist/pypy/lib/logic/computation_space

[auc at codespeak.net]

Author: auc
Date: Mon Feb 13 18:37:42 2006
New Revision: 23289

Modified:
   pypy/dist/pypy/lib/logic/computation_space/computationspace.py
   pypy/dist/pypy/lib/logic/computation_space/test_computationspace.py
Log:
fix typo


Modified: pypy/dist/pypy/lib/logic/computation_space/computationspace.py
==============================================================================
--- pypy/dist/pypy/lib/logic/computation_space/computationspace.py	(original)
+++ pypy/dist/pypy/lib/logic/computation_space/computationspace.py	Mon Feb 13 18:37:42 2006
@@ -125,7 +125,7 @@
         """add unbound variable to the store"""
         if var in self.vars:
             raise AlreadyInStore(var.name)
-        print "adding %s to the store" % var
+        #print "adding %s to the store" % var
         self.vars.add(var)
         self.names[var.name] = var
         # put into new singleton equiv. set
@@ -365,11 +365,11 @@
             try:
                 self._really_unify(x, y)
                 for var in self.vars:
-                    if var.changed:
+                    if var._changed:
                         var._commit()
             except Exception, cause:
                 for var in self.vars:
-                    if var.changed:
+                    if var._changed:
                         var._abort()
                 if isinstance(cause, UnificationFailure):
                     raise

Modified: pypy/dist/pypy/lib/logic/computation_space/test_computationspace.py
==============================================================================
--- pypy/dist/pypy/lib/logic/computation_space/test_computationspace.py	(original)
+++ pypy/dist/pypy/lib/logic/computation_space/test_computationspace.py	Mon Feb 13 18:37:42 2006
@@ -173,6 +173,8 @@
                   FunThread(create_var2))
         t1.start()
         t2.start()
+        t1.join()
+        t2.join()
 
 
     def test_threads_binding_vars(self):
@@ -191,7 +193,7 @@
             
         x = sp.var('x')
         vars_ = []
-        for nvar in range(1000):
+        for nvar in range(100):
             v = sp.var('x-'+str(nvar))
             sp.bind(x, v)
             vars_.append(v)