| inRangeSignedChar(BigInteger) |  | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| inRangeSignedShort(BigInteger) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| inRangeSignedLongInt(BigInteger) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| inRangeSignedLongLongInt(BigInteger) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| inRangeUnsignedChar(BigInteger) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| inRangeUnsignedShort(BigInteger) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| inRangeUnsignedInt(BigInteger) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| inRangeUnsignedLongInt(BigInteger) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| inRangeUnsignedLongLongInt(BigInteger) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| unsignedCharMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| unsignedShortIntMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| unsignedIntMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| unsignedLongIntMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| unsignedLongLongIntMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedCharMin() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedCharMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedShortIntMin() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedShortIntMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedLongIntMin() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedLongIntMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedLongLongIntMin() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signedLongLongIntMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| charMin() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| charMax() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| inRangeSignedInt(BigInteger) |  | 92% | | 50% | 2 | 3 | 0 | 2 | 0 | 1 |
| CommonConfiguration() | | 100% | | n/a | 0 | 1 | 0 | 23 | 0 | 1 |
| setGNUC(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setSVCOMP(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setArchitecture(Configuration.Architecture) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setLanguage(Configurations.Language) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| signedIntMin() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| signedIntMax() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getGNUC() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getSVCOMP() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getArchitecture() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getLanguage() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |