[cl-unification-cvs] CVS cl-unification/test

[rbrown]

Update of /project/cl-unification/cvsroot/cl-unification/test
In directory cl-net:/tmp/cvs-serv12304/test

Modified Files:
	unification-tests.lisp 
Log Message:
Use *unify-string-case-sensitive-p* consistently.
Change the documentation.
templates-hierarchy.lisp: Fix stream argument to print-object.

--- /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp	2009/04/15 10:24:28	1.2
+++ /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp	2011/02/11 17:49:39	1.3
@@ -1,12 +1,14 @@
 ;;;; -*- Mode: Lisp -*-
 
 ;;;; unification-tests.lisp --
-;;;; CL-UNIFICATION test suite.  Requires Franz's util.test package.
+;;;; CL-UNIFICATION test suite.  Requires ptester, the public version of
+;;;; Franz's util.test package.
 
-(in-package "UNIFY.TESTS")
+(defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION.TESTS"
+  (:use "CL" "UNIFY" "PTESTER")
+  (:nicknames  "CL.EXT.DACF.UNIFICATION.TESTS" "UNIFY.TESTS"))
 
-(use-package "UNIFY")
-(use-package "UTIL.TEST")
+(in-package "UNIFY.TESTS")
 
 (with-tests (:name "basic constant unification")
   (test t (unify:environment-p (unify 42 42)))
@@ -38,7 +40,7 @@
   (test-error (unify "I am a string" "I am A string")
 	      :condition-type 'unification-failure)
 
-  (test t (let ((*unify-string-case-insensitive-p* t))
+  (test t (let ((*unify-string-case-sensitive-p* nil))
             (unify:environment-p (unify "I am a string" "I am A string"))))
 
   )