anchor.diff:      ;; evaluation of the TEST for the specified PARAMETERS.
       :initarg :condition
       :accessor test-record-condition)
  -   (results ;; RESULT
  +   (results
       ;; For a values test:
       ;;
       ;; This slot's value should hold a multiple-value list of the
  
positive.code: 
  ;; FIXME: Implement TEST-GOAL
  
  
  
  (defclass test-record ()
    ;; In the design of AFFTA 1.2, the TEST-RECORD class serves as both
    ;; a means for specifying parameters to a test and recording the
    ;; results of a test for later evaluation. Though it's semantically
    ;; a bit of a mashup, but in a sense it may serve towards a sense of
    ;; convenience as to keep the parameters and expected values close
    ;; together with the test result values.
    ((test ;; GOAL, RECORD
      :initarg :test
      :accessor test-record-test)
     (parameters ;; GOAL
      :initarg :parameters
      :accessor test-record-parameters)
     (expect-state ;; GOAL
      :initarg :expect
      :accessor test-record-expect-state)
     (condition ;; RESULT
      ;; If the test completed successfully, this slot's value should be
      ;; a TEST-RECORD-CONDITION. If the test did not complete
      ;; successfully, this slot's value should contain a CONDITION
  
negative.code:     :initarg :setup-results
      :initform nil
      :accessor test-record-setup-results)
     (cleanup-result
      ;; This slot's value should hold a multiple-value-list of any
      ;; values returned by the effective DO-TEST-CLEANUP method for
      ;; this TEST-RECORD - recorded in the TEST-RECORD primarily for
  