| print(String, PrintStream, boolean) |  | 0% | | 0% | 20 | 20 | 59 | 59 | 1 | 1 |
| setWaitsforList(Iterable) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| setDependsAnyact() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| getWaitsforList() | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| addPrecondition(Expression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| addPostcondition(Expression) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDependsNoact() |  | 73% | | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
| addAssignsMemoryUnit(Expression) | | 71% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| addReadsMemoryUnit(Expression) | | 71% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| addDependsEvent(DependsEvent) | | 71% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| setReadsNothing() | | 66% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| setAssingsNothing() | | 66% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| numRequirements() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| numEnsurances() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| clearDependsEvents() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| requirements() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ensurances() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| assignsMemoryUnits() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| readsMemoryUnits() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| CommonFunctionBehavior(CIVLSource) | | 100% | | n/a | 0 | 1 | 0 | 12 | 0 | 1 |
| numAssignsMemoryUnits() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numReadsMemoryUnits() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numDependsEvents() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dependsEvents() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| readsNothing() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| assignsNothing() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dependsNoact() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dependsAnyact() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |