anchor.diff:  	       (source (merge-pathnames dirpath *test-directory*))
   	       (target (merge-pathnames dirpath *test-temporary-directory*)))
   	  ;(ensure-directories-exist target)
  -	  (if *quiet-about-dirs?* 
  +	  (if *quiet-copy?*
   	      (with-output-to-string (*standard-output*)
   		(specware::copy-directory source target nil))
   	    (specware::copy-directory source target nil)))))
  
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: (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*)
  