The name of the module in the EXEC PGM= statement is verified that it exists in the STEPLIB, JOBLIB, or LINKLIST libraries.

Note:

• Control-M JCL Verify checks program existence using IBM search order rules. To perform this check the Control-M JCL Verify monitor requires read access for all STEPLIBs and JOBLIBs.
• You can add libraries to the standard search order using the CTJLINK member. For more information, see CTJLINK – User link libraries for program existence check.