anchor.diff:  (defvar *test-harness-stream* t)
   (defvar *test-directory*)
   (defvar *test-temporary-directory*)
  +(defvar *test-temporary-directory-name*)
   (defvar *test-driver-file-name* "Tests.lisp")
   
   (defvar *test-temporary-directory-name* "SpecwareTest")
  
positive.code: 
  (defun normalize-output (str)
    (if (stringp str)
        (let ((str (replace-string str (directory-namestring *test-temporary-directory*) "$TESTDIR/")))
  	(setq str (replace-string str "~/" (concatenate 'string (specware::getenv "HOME") "/")))
  	(replace-string str specware::specware4 "$SPECWARE"))
      str))
  
  (defun normalize-input (str)
    (setq str (replace-string str "$TESTDIR/" (directory-namestring *test-temporary-directory*)))
    (replace-string str "$SPECWARE" specware::specware4))
  
  ;; There must be a better way of doing this
  
negative.code: 		 file))
  	 (*test-directory* (directory-namestring path))
  	 (*test-temporary-directory* (get-temporary-directory))
  	 (*test-temporary-directory-name* (replace-string (directory-namestring *test-temporary-directory*) "\\" "/"))
  	 (old-directory (specware::current-directory)))
      (format t "~%;;;; Running test suite in directory ~a~%" *test-directory*)
      (ensure-directories-exist *test-temporary-directory*)
  