Method: (REASON FOR-ALL-TEST-FAILED)

Source

(defmethod reason ((result for-all-test-failed))
  (format nil "Falsafiable with ~S" (slot-value result 'failure-values)))