73 lines
1.5 KiB
JSON
73 lines
1.5 KiB
JSON
{
|
|
"task": "G1005",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}CREDIT_CHECKER",
|
|
"mutant": "line 30: <= -> > (rel)",
|
|
"status": "killed",
|
|
"hidden": "1/11",
|
|
"failed_tests": [
|
|
"ADULT_KEEPS_LIMIT",
|
|
"AGE_EIGHTEEN_IS_OK",
|
|
"ORDER_ABOVE_LIMIT",
|
|
"ORDER_AT_LIMIT_IS_OK",
|
|
"PLAN_REDUCES_LIMIT",
|
|
"TWO_OPEN_PLANS",
|
|
"VALID_ADULT",
|
|
"YOUNG_LIMIT_HALVED",
|
|
"YOUNG_LIMIT_IS_FLOOR",
|
|
"ZERO_INCOME"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}CREDIT_CHECKER",
|
|
"mutant": "line 38: = -> <> (eq)",
|
|
"status": "invalid",
|
|
"hidden": "0/0",
|
|
"failed_tests": []
|
|
},
|
|
{
|
|
"object": "{{P}}CREDIT_CHECKER",
|
|
"mutant": "line 48: * -> / (arith)",
|
|
"status": "killed",
|
|
"hidden": "7/11",
|
|
"failed_tests": [
|
|
"ADULT_KEEPS_LIMIT",
|
|
"ORDER_AT_LIMIT_IS_OK",
|
|
"VALID_ADULT",
|
|
"YOUNG_LIMIT_IS_FLOOR"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}CREDIT_CHECKER",
|
|
"mutant": "line 49: * -> / (arith)",
|
|
"status": "killed",
|
|
"hidden": "5/11",
|
|
"failed_tests": [
|
|
"ADULT_KEEPS_LIMIT",
|
|
"AGE_EIGHTEEN_IS_OK",
|
|
"ORDER_ABOVE_LIMIT",
|
|
"ORDER_AT_LIMIT_IS_OK",
|
|
"YOUNG_LIMIT_HALVED",
|
|
"YOUNG_LIMIT_IS_FLOOR"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}CREDIT_CHECKER",
|
|
"mutant": "line 50: < -> >= (rel)",
|
|
"status": "killed",
|
|
"hidden": "6/11",
|
|
"failed_tests": [
|
|
"ADULT_KEEPS_LIMIT",
|
|
"ORDER_AT_LIMIT_IS_OK",
|
|
"VALID_ADULT",
|
|
"YOUNG_LIMIT_HALVED",
|
|
"YOUNG_LIMIT_IS_FLOOR"
|
|
]
|
|
}
|
|
],
|
|
"valid": 4,
|
|
"killed": 4,
|
|
"kill_rate": 1.0,
|
|
"ok": true
|
|
} |