oprof - ACL2 Book

other

(in-package "ACL2")

oprof.watchfunction

(defun oprof.watch
  (fns)
  (declare (xargs :guard t)
    (ignore fns))
  (cw "Error: oprof is only available on OpenMCL.~%"))

oprof.unwatchfunction

(defun oprof.unwatch
  (fns)
  (declare (xargs :guard t)
    (ignore fns))
  (cw "Error: oprof is only available on OpenMCL.~%"))

oprof.clearfunction

(defun oprof.clear
  nil
  (declare (xargs :guard t))
  (cw "Error: oprof is only available on OpenMCL.~%"))

oprof.reportfunction

(defun oprof.report
  nil
  (declare (xargs :guard t))
  (cw "Error: oprof is only available on OpenMCL.~%"))

oprof.stopfunction

(defun oprof.stop
  nil
  (declare (xargs :guard t))
  (cw "Error: oprof is only available on OpenMCL.~%"))

other

(defttag oprof)