| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class InferenceTest | 100% (1/1) | 100% (7/7) | 79% (722/917) | 75% (103.3/138) |
| test_hardClause (): void | | 100% (1/1) | 32% (64/203) | 29% (10/35) |
| test_MCSAT_inference (): void | | 100% (1/1) | 62% (63/102) | 58% (11/19) |
| test_simpleInference (): void | | 100% (1/1) | 96% (459/476) | 97% (56.3/58) |
| InferenceTest (): void | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getSimpleInferenceResult (): String | | 100% (1/1) | 100% (29/29) | 100% (6/6) |
| test_WalkSAT_inference (): void | | 100% (1/1) | 100% (103/103) | 100% (18/18) |
| test_initStatic (): void | | 100% (1/1) | 100% (1/1) | 100% (1/1) |