Start additional shells for running sub-processes (forks ACL2).
(tshell-start &optional (n '1)) → nil
- 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,
This is essentially just shellpool:start; see the Shellpool
API documentation for details.
Definitions and Theorems
(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?"