WATERFALL-PARALLELISM
for ACL2(p): configuring the parallel execution of the waterfall
Major Section:
PARALLELISM
See
set-waterfall-parallelism
.