| lambda$validate$34() |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| lambda$generateCore$31(Factor, AArray) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| generateCore() |  | 97% | | 92% | 1 | 8 | 1 | 44 | 0 | 1 |
| streamAllPossibleTuples(List, int) | | 95% | | 50% | 1 | 2 | 0 | 6 | 0 | 1 |
| validate() | | 93% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| lambda$getPartiallyInvolvedConstraints$21(Collection, Constraint) | | 88% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| lambda$getPartiallyInvolvedConstraints$20(Collection, Constraint) | | 88% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| IpoGplus(FactorSpace, Requirement, List) | | 100% | | n/a | 0 | 1 | 0 | 11 | 0 | 1 |
| streamAssignmentsForDontCaresUnderConstraints(AArray, List, List, IpoGplus.Session) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| _streamAssignmentsAllowedByConstraints(AArray, List, List, IpoGplus.Session) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| createTupleFrom(List, AArray) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| prepare_π(List, List, List, int) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| lambda$streamAssignmentsAllowedByConstraints$15(AArray, Factor) | | 100% | | 75% | 1 | 3 | 0 | 2 | 0 | 1 |
| lambda$null$12(AArray, AArray, String) | | 100% | | 100% | 0 | 4 | 0 | 4 | 0 | 1 |
| chooseLevelThatCoversMostTuples(AArray, Factor, TupleSet, int, List, List, IpoGplus.Session) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| removeDontCares(AArray) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| streamAssignmentsAllowedByConstraints(AArray, List, List, IpoGplus.Session) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| lambda$dontCareFactors$8(AArray, Factor) | | 100% | | 100% | 0 | 3 | 0 | 1 | 0 | 1 |
| lambda$generateCore$32(List, List, AArray, AArray) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$streamAssignmentsForDontCaresUnderConstraints$14(AArray, List, List, IpoGplus.Session, AArray) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| countCoveredTuplesBy(AArray, TupleSet, int) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| projectFactorValues(List, Map) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| getPartiallyInvolvedConstraints(Collection, List) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| lambda$chooseLevelThatCoversMostTuples$6(TupleSet, int, AArray, AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| modifyTupleWith(AArray, String, Object) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| satisfiesAllOf(List) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| lambda$removeDontCares$9(AArray, String) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| dontCareFactors(AArray, List) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| getFullyInvolvedConstraints(Collection, List) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| factorsUnderConstrains(List, List) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| lambda$prepare_π$36(AArray) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| lambda$generateCore$30(AArray) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| lambda$streamTuplesUnderConstraints$16(List, List) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| lambda$isAllowedTuple$28(List, List, IpoGplus.Session, AArray) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$streamIncompleteTestsToCoverGivenTuple$13(AArray, AArray) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$streamAllPossibleTuples$11(Map, List) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$removeDontCares$10(AArray.Builder, AArray, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| replaceDontCareValuesWithActualLevels(List, List, IpoGplus.Session) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$findFirstTupleUnderConstraints$23(List, List) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$_streamAssignmentsAllowedByConstraints$22(AArray, AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$new$2(FactorSpace, AArray) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| streamIncompleteTestsToCoverGivenTuple(List, AArray) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$prepare_π$35(List) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$factorsUnderConstrains$27(List, Factor) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$null$26(Factor, Constraint) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$satisfies$25(List, AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$chooseLevelThatCoversMostTuples$5(AArray, Factor, Object) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$new$4(Requirement, AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$new$0(FactorSpace, AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isAllowedTuple(List, List, IpoGplus.Session) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$generateCore$33(List, AArray) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$generateCore$29(Factor) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$getFullyInvolvedConstraints$19(Collection, Constraint) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$chooseLevelThatCoversMostTuples$7(Factor, AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$new$3(FactorSpace, AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$null$24(AArray, Constraint) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$null$1(AArray, Constraint) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| streamTuplesUnderConstraints(List) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| functionToFindFirstTupleUnderConstraints() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| findFirstTupleUnderConstraints(List) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| satisfies(List) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$satisfiesAllOf$18(AArray) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$satisfiesAllOf$17(Constraint) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |