;;-*- Mode:LISP; Package:USER; Base:8 -*-
;; 11/01/83 15:22:46 -George Carrette
;; Package and System definitions for the test subsystem.

;; Copyright LISP Machine, Inc. 1984
;;   See filename "Copyright" for
;; licensing and release information.

(defpackage "VERIFICATION-GLOBAL"
  :EXPORT ("DEFTEST" "TVAR" "VERIFY-FILE" "DESCRIBE-TEST"
	   "RUN-TEST" "COMPILE-LIST-OF-FORMS"
	   "VERBOSE-CATCH-ERROR" "TEST-DEFINED?"
	   "VERBOSE-ERRSET-HANDLER" ; it is useful and ok to call this randomly.
	   "TVAR?" "TESTS-IN-FILE" "DEFTEST-ALL-IN-FILE"
	   "DIGEST-RPG-BENCHMARK-FILE"))

(DEFPACKAGE "VERIFICATION-INTERNALS"
  :USE ("GLOBAL" "VERIFICATION-GLOBAL")
  :SHADOW ("APROPOS-LIST"))

(DEFPACKAGE "VERIFY"
  :USE ("GLOBAL" "VERIFICATION-GLOBAL"))

(DEFSYSTEM verify
  (:pathname-default "sys:verify;")
  (:Patchable "SYS:VERIFY;OBJECT;" "VERIFY")
  (:module brutils (("sys:verify;brutils" "sys:verify;object;brutils qfasl") ))
  (:module deftest (("sys:verify;deftest" "sys:verify;object;deftest qfasl")))
  (:module verify (("sys:verify;verify" "sys:verify;object;verify qfasl")))
  (:module vardefs (("sys:verify;vardefs" "sys:verify;object;vardefs qfasl")))
  (:module digest (("sys:verify;digest" "sys:verify;object;digest qfasl")))

  (:compile-load brutils)
  (:compile-load deftest (:fasload brutils) (:fasload brutils))
  (:compile-load verify)
  (:compile-load digest)
  (:compile-load vardefs (:fasload deftest)))