		Search-engine friendly clone of the ACL2 documentation.

Vl-gc

Set-vl-gc-baseline

Resets the baseline for vl-gc to however much memory is currently allocated.

Signature
(set-vl-gc-baseline) → nil

This may sometimes be worth calling at the start of a script.

Definitions and Theorems

Function: set-vl-gc-baseline

(defun set-vl-gc-baseline nil
  (declare (xargs :guard t))
  (let ((__function__ 'set-vl-gc-baseline))
    (declare (ignorable __function__))
    (raise "Under-the-hood definition not installed?")))