|
|
|---|
|
|
|
|---|
Control whether or not the acl2s-interface attempts to capture ACL2 printed output
Examples:(capture-output-on) ; From this point forward all acl2s-interface functions will
; attempt to capture all ACL2 printed output
(capture-output-off) ; (default) From this point forward all acl2s-interface
; functions will print any ACL2 output as normal
(get-captured-output) ; Returns a string containing all captured output since the
; last (get-captured-output) call. Note that the three primary
; acl2s-interface functions will call this before each query.
Most of the ACL2s interface functions also take a