;;; .EnTete "Le-Lisp (c) version 15.2" " " "The Le-Lisp Benchmarks (0)"
;;; .EnPied "checkmet.ll" "%" " "
;;; .SuperTitre "The Le-Lisp Benchmarks (0)"
;;;
;;; .Centre "*****************************************************************"
;;; .Centre " Ce fichier est en lecture seule hors du projet ALE de l'INRIA.  "
;;; .Centre " Il est maintenu par ILOG SA, 2 Avenue Gallie'ni, 94250 Gentilly "
;;; .Centre " (c) Le-Lisp est une marque de'pose'e de l'INRIA                 "
;;; .Centre "*****************************************************************"
;;;
;;; .Centre "$Header: checkmet.ll,v 1.3 88/12/07 16:24:06 chaillou Exp $"

;;; CHECK and METER 

(defun check-value (expr value)
   (let ((actual-value (eval expr)))
        (when (nequal actual-value value)
	      (print "** the value of " expr
		     " has to be " value
		     " not " actual-value))))

(defun perform-meter (expr name)
   (with ((outchan (openo (catenate name ".mtr"))))
	 (print)
	 (print "Metering of " name " for " expr)
	 (print)
	 (count-calls-init)
	 (eval expr)
	 (count-calls-stop)
	 (count-calls-printn 20.)
	 (close (outchan))))