[SCA Command] Verifies that the specified SCA libraries are valid,
    and repairs any corrupted libraries.

    Format

      VERIFY   [library-spec[, . . . ]]

1  –  Qualifiers

1.1    /LOG

       /LOG (D)
       /NOLOG

    Indicates whether SCA reports the library verification or repair
    operation.

1.2    /RECOVER

       /RECOVER
       /NORECOVER (D)

    Indicates whether SCA should repair a corrupted library.

    If the interrupted command was a LOAD command, SCA deletes from
    the library any module that had begun to load but that had
    not completed loading. Also, SCA cannot recover modules that
    were waiting to be processed for loading when the interruption
    occurred. To load interrupted and waiting modules, issue a
    subsequent LOAD command and include those modules.

    If the interrupted library operation was a DELETE MODULE command,
    the /RECOVER qualifier causes SCA to delete the incompletely
    deleted module. Any modules still waiting to be processed for
    deletion when the interruption occurred are excluded from the
    recovery operation; to delete them, you must respecify them in a
    subsequent DELETE MODULE command.

2  –  Parameter

 library-spec[, . . . ]
    Specifies the SCA libraries to be verified. If you do not specify
    a library, SCA assumes you have specified the primary library.