drtest09.doc

NASA 开发使用的一个专家系统

;;;************************************************************
;;; DRs 724-791 CHECKING
;;;
;;; The file drtest09.tst tests a number of the testable DRs
;;; in the range 724-791.
;;;
;;; To test, execute the command (batch "drtest09.tst").
;;; When the test is complete, check the file drtest09.rsl
;;; for the results (differences between expected and 
;;; actual output are listed).
;;;************************************************************