anchor.diff:  (defpackage "SPECWARE-TEST")
   (in-package "SPECWARE-TEST")
  +
  +(defparameter *global-test-counter* 0)
  +
   
   #|
   Top-level functions
  
positive.code: 			 (value-predicate 'equal)
  			 file-goto-error
  			 error files)
    (let ((msg (format nil "Running test: ~A" name)))
      (emacs::eval-in-emacs (format nil "(message ~S)" msg)))
    (let (val error-type (error-messages ())
  	(emacs::*goto-file-position-store?* t)
  	(emacs::*goto-file-position-stored* nil)
  
negative.code: 	    (specware::copy-directory source target nil)))))
  
  (defmacro test (&body test-forms)
    ; (setq *global-test-counter* 0)
    `(progn ,@(loop for fm in test-forms collect `(test-1 ,@fm))))
  
  (defun test-0 (&rest args)
  