SET-WATERFALL-PARALLELISM-HACKS-ENABLED!
for ACL2(p): enabling waterfall parallelism hacks
Major Section:
SWITCHES-PARAMETERS-AND-MODES
See
set-waterfall-parallelism-hacks-enabled
.
