anchor.diff:  (defvar *use-separate-process?* nil)
   (defvar *verbose?* t)
   (defvar *quiet-about-dirs?* nil)
  +(defvar *quiet-copy?* t)
   (defvar *write-log-file* nil)
   (defvar *test-harness-stream* t)
   (defvar *test-directory*)
  
positive.code: 	       (source (merge-pathnames filepath *test-directory*))
  	       (target (merge-pathnames filepath *test-temporary-directory*)))
  	  (ensure-directories-exist target)
  	  (if *quiet-about-dirs?* 
  	      (with-output-to-string (*standard-output*)
  		(specware::copy-file source target))
  	    (specware::copy-file source target)))))
  
negative.code: 	       (source (merge-pathnames dirpath *test-directory*))
  	       (target (merge-pathnames dirpath *test-temporary-directory*)))
  	  ;(ensure-directories-exist target)
  	  (if *quiet-copy?*
  	      (with-output-to-string (*standard-output*)
  		(specware::copy-directory source target nil))
  	    (specware::copy-directory source target nil)))))
  