verifyexp tool is used to verify an export file as a single unit. This verification is "shallow," examining only the content of a single export file, not including export files of packages referenced by the package of the export file. The verification determines whether an export file is internally consistent and viable as defined in the Virtual Machine Specification, Java Card Platform, Version 3.0.5, Classic Edition. This scenario is illustrated in Figure 13-2.
Figure 13-2 Verifying An Export File
The file that invokes
verifyexp is a batch file (
verifyexp.bat) that you must run from a working directory of JC_CLASSIC_HOME
\bin for the code to execute properly.
verifyexp [options] export-file
Table 13-2 verifyexp Command Line Argument
Fully qualified path and name of the export file.
Command Line Options for Off-Card Verifier Tools. describes additional