| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 113 of 113 | 0% | 12 of 12 | 0% | 14 | 14 | 26 | 26 | 8 | 8 |
| CommonLoopContract(CIVLSource, Location, List, List, List) | | 0% | | 0% | 7 | 7 | 17 | 17 | 1 | 1 |
| setCIVLSource(CIVLSource) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| setLocation(Location) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| getSource() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| loopInvariants() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| loopAssigns() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| loopVariants() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| loopLocation() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |