Ant Integration

You can integrate the verifier into an Ant
build file as a target and use the Ant call feature to call the target
each time an application or module is assembled. You can use any of
the arguments described in Table 1–1.
Example code for an Ant verify target is as follows: