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"))))

)