(vl-default-load-summary config result) → nil
Function:
(defun vl-default-load-summary (config result) (declare (xargs :guard (and (vl-loadconfig-p config) (vl-loadresult-p result)))) (declare (ignore config)) (let ((__function__ 'vl-default-load-summary)) (declare (ignorable __function__)) (b* (((vl-loadresult result) result) ((vl-design result.design) result.design) (- (cw "Load Summary:")) (- (cw " - ~x0 modules.~%" (len result.design.mods))) (- (cw " - ~x0 interfaces.~%" (len result.design.interfaces))) (- (cw " - ~x0 packages.~%" (len result.design.packages))) (- (cw " - ~x0 programs.~%" (len result.design.programs))) (- (cw " - ~x0 configs.~%" (len result.design.configs))) (- (cw " - ~x0 user-defined primitives.~%" (len result.design.udps))) (regular-warnings (mergesort (vl-design-flat-warnings result.design))) (all-warnings (mergesort (append-without-guard result.design.warnings regular-warnings))) (- (or (not all-warnings) (cw "Total number of warnings: ~x0.~%" (len all-warnings)))) (floating-warnings (mergesort result.design.warnings)) (- (or (not floating-warnings) (vl-cw-ps-seq (vl-ps-update-autowrap-col 68) (vl-cw "~x0 floating warning~s1:~%" (len floating-warnings) (if (vl-plural-p floating-warnings) "s" "")) (vl-print-warnings floating-warnings) (vl-println "")))) (multidef-warnings (vl-keep-warnings '(:vl-warn-multidef) regular-warnings)) (- (or (not multidef-warnings) (vl-cw-ps-seq (vl-ps-update-autowrap-col 68) (vl-cw "~x0 multiply defined module warning~s1:~%" (len multidef-warnings) (if (vl-plural-p multidef-warnings) "s" "")) (vl-print-warnings multidef-warnings) (vl-println ""))))) nil)))