This appendix gives technical details of Component Maker behavior for a handful of narrowly focused verification and extraction
options; for COBOL parameterized slice generation; and for COBOL arithmetic exception handling.
Verification Options Provides an overview of the technical details for verification options.