| getScope() |   | 74% | | 66% | 2 | 4 | 1 | 8 | 0 | 1 |
| setIsInlined(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| isInlined() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getContracts() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isAtomic() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| CommonFunction(String, ProgramEntity.LinkageKind, Type) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| addContract(ContractNode) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setDoesNotReturn(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getDefinition() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setAtomic(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setSystemFunction(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setAbstract(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setSystemLibrary(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setPure(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setStateFunction(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setLogic(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| doesNotReturn() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCallers() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getCallees() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isSystemFunction() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isAbstract() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| systemLibrary() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isPure() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isStateFunction() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isLogic() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |