Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
The coverage of different ant numbers on ACIACO.
| ACIACO | Statement coverage | Branch coverage | MC/DC |
|---|---|---|---|
| 8 ants | 82.37% | 64.30% | 17.17% |
| 16 ants | 92.29% | 75.88% | 33.22% |
| 24 ants | 92.78% | 78.68% | 35.53% |
| 32 ants | 94.38% | 80.23% | 35.55% |
| 40 ants | 95.84% | 84.29% | 38.45% |
| 48 ants | 95.11% | 82.30% | 37.25% |
| 56 ants | 97.89% | 87.77% | 45.25% |
| 64 ants | 100.00% | 92.87% | 57.67% |
| 72 ants | 100.00% | 96.45% | 70.89% |
| 80 ants | 100.00% | 100.00% | 76.12% |
| 88 ants | 100.00% | 100.00% | 76.13% |
