Next: constant / expression
Up: A Compendium of
Previous: dead-coding
- range_acc
- [default value: 1] Accuracy used by range propagation ( 0=faster, 1=more accurate).
- range_block
- [default value: 0] 1=Restrict range constraints to work on a BLOCK by BLOCK basis.
Jay Hoeflinger
Mon Apr 21 11:52:18 CDT 1997