Hello All,
This is the simplest question I've asked yet. Would someone mind
correcting the order of my arguments to ccl:process-run-function please?
Thanks in advance,
David
(ccl:process-run-function "ACL2 'under the hood' parallelization"
:vstack-size 500000000
:tstack-size 100000000
:stack-size 100000000
(function two-arg-function)
arg1
arg2)
Reference available at:
http://www.openmcl.org/Doc/re08.html