		Search-engine friendly clone of the ACL2 documentation.

Tshell

Tshell-start

Start additional shells for running sub-processes (forks ACL2).

Signature
(tshell-start &optional (n '1)) → nil
Arguments: n — How many shells to start.
Guard (posp n).

We usually instead use tshell-ensure, which only starts up new bash processes if they aren't already running.

If you want to use this in a book, you can wrap it in a value-triple, e.g.,

(value-triple (tshell-start))

This is essentially just shellpool:start; see the Shellpool API documentation for details.

Definitions and Theorems

Function: tshell-start-fn

(defun tshell-start-fn (n)
  (declare (xargs :guard (posp n)))
  (declare (ignorable n))
  (let ((__function__ 'tshell-start))
    (declare (ignorable __function__))
    (cw "Warning: under-the-hood definition of ~s0 not installed?"
        __function__)))