Common use of Click Finish Clause in Contracts

Click Finish. Interact with the application to test its functionalities (▇▇▇▇://▇▇▇▇▇▇▇▇▇:▇▇▇▇/▇▇▇▇▇▇▇▇▇▇) Execute the following command in the example application’s main directory: mvn package jtest:monitor The goal generates the monitor.zip package, which contains artifacts necessary for collecting applica- tion coverage. See “Generating the Static Coverage File”, page 50, for details.

Click Finish. Interact with the application to test its functionalities (▇▇▇▇://▇▇▇▇▇▇▇▇▇:▇▇▇▇/▇▇▇▇▇▇▇▇▇▇) Execute the following command in the example application’s main directory: mvn package jtest:monitor The goal generates the monitor.zip package, which contains artifacts necessary for collecting applica- tion coverage. See “Generating the Static Coverage File”, page 5045, for details.

Click Finish. Interact with the application to test its functionalities (▇▇▇▇://▇▇▇▇▇▇▇▇▇:▇▇▇▇/▇▇▇▇▇▇▇▇▇▇) Execute the following command in the example application’s main directory: mvn package jtest:monitor The goal generates the monitor.zip package, which contains artifacts necessary for collecting applica- tion coverage. See “Generating the Static Coverage File”, page 5046, for details.