| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class Config$MCSAT_OUTPUT_TUPLE_ORDER | 100% (1/1) | 50% (2/4) | 58% (29/50) | 50% (1/2) |
| valueOf (String): Config$MCSAT_OUTPUT_TUPLE_ORDER | | 0% (0/1) | 0% (0/5) | 0% (0/1) |
| values (): Config$MCSAT_OUTPUT_TUPLE_ORDER [] | | 0% (0/1) | 0% (0/16) | 0% (0/1) |
| <static initializer> | | 100% (1/1) | 100% (24/24) | 100% (1/1) |
| Config$MCSAT_OUTPUT_TUPLE_ORDER (String, int): void | | 100% (1/1) | 100% (5/5) | 100% (1/1) |
| | | | | |
| class Config | 100% (1/1) | 60% (3/5) | 93% (124/134) | 97% (60/62) |
| Config (): void | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| getNumThreads (): int | | 0% (0/1) | 0% (0/7) | 0% (0/2) |
| <static initializer> | | 100% (1/1) | 100% (109/109) | 100% (56/56) |
| getLoadingDir (): String | | 100% (1/1) | 100% (13/13) | 100% (3/3) |
| getWorkingDir (): String | | 100% (1/1) | 100% (2/2) | 100% (1/1) |