		Search-engine friendly clone of the ACL2 documentation.

Vl-gc

Set-vl-gc-threshold

Instruct vl-gc to trigger a garbage collection when the current memory usage exceeds the baseline by some amount.

Signature
(set-vl-gc-threshold bytes) → nil
Arguments: bytes — Guard (natp bytes).

The default is 1 GB (2^30 bytes). You might want to raise this threshold if garbage is being collected too frequently.

Definitions and Theorems

Function: set-vl-gc-threshold

(defun set-vl-gc-threshold (bytes)
  (declare (xargs :guard (natp bytes)))
  (declare (ignore bytes))
  (let ((__function__ 'set-vl-gc-threshold))
    (declare (ignorable __function__))
    (raise "Under-the-hood definition not installed?")))