|
|
|---|
|
|
|
|---|
Stop any running ACL2 Bridge servers.
This is a low-level cleanup mechanism that ungracefully kills any bridge-listener and bridge-worker threads. This isn't something you probably want to ordinarily rely on in your code, but it's useful when you want to restart a server.
Function:
(defun stop nil (declare (xargs :guard t)) (cw "Under-the-hood definition of bridge::stop not installed?"))