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.