WATERFALL-PARALLELISM

for ACL2(p): configuring the parallel execution of the waterfall
Major Section:  PARALLELISM

See set-waterfall-parallelism.