79 lines
1.8 KiB
JSON
79 lines
1.8 KiB
JSON
{
|
|
"task": "G1010",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}PHONE_REPAIR_PRICER",
|
|
"mutant": "line 60: * -> / (arith)",
|
|
"status": "killed",
|
|
"hidden": "8/11",
|
|
"failed_tests": [
|
|
"MID_DEVICE_SURCHARGE",
|
|
"PORT_HIGH_NO_EXTRAS",
|
|
"SCREEN_HIGH_EXPRESS_WARRANTY"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}PHONE_REPAIR_PRICER",
|
|
"mutant": "line 65: < -> >= (rel)",
|
|
"status": "killed",
|
|
"hidden": "2/11",
|
|
"failed_tests": [
|
|
"BATTERY_MINIMUM_CHARGE",
|
|
"BATTERY_WARRANTY_MINIMUM",
|
|
"EXPRESS_ADDS_FEE",
|
|
"MID_DEVICE_SURCHARGE",
|
|
"PORT_HIGH_NO_EXTRAS",
|
|
"SCREEN_BASIC_PLAIN",
|
|
"SCREEN_HIGH_EXPRESS_WARRANTY",
|
|
"UNKNOWN_DEVICE_IS_BASIC",
|
|
"WARRANTY_AFTER_EXPRESS"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}PHONE_REPAIR_PRICER",
|
|
"mutant": "line 98: = -> <> (eq)",
|
|
"status": "killed",
|
|
"hidden": "2/11",
|
|
"failed_tests": [
|
|
"BATTERY_MINIMUM_CHARGE",
|
|
"BATTERY_WARRANTY_MINIMUM",
|
|
"EXPRESS_ADDS_FEE",
|
|
"MID_DEVICE_SURCHARGE",
|
|
"PORT_HIGH_NO_EXTRAS",
|
|
"SCREEN_BASIC_PLAIN",
|
|
"SCREEN_HIGH_EXPRESS_WARRANTY",
|
|
"UNKNOWN_DEVICE_IS_BASIC",
|
|
"WARRANTY_AFTER_EXPRESS"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}PHONE_REPAIR_PRICER",
|
|
"mutant": "line 101: abap_true -> abap_false (bool)",
|
|
"status": "killed",
|
|
"hidden": "4/11",
|
|
"failed_tests": [
|
|
"EXPRESS_ADDS_FEE",
|
|
"MID_DEVICE_SURCHARGE",
|
|
"PORT_HIGH_NO_EXTRAS",
|
|
"SCREEN_BASIC_PLAIN",
|
|
"SCREEN_HIGH_EXPRESS_WARRANTY",
|
|
"UNKNOWN_DEVICE_IS_BASIC",
|
|
"WARRANTY_AFTER_EXPRESS"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}PHONE_REPAIR_PRICER",
|
|
"mutant": "line 102: * -> / (arith)",
|
|
"status": "killed",
|
|
"hidden": "9/11",
|
|
"failed_tests": [
|
|
"SCREEN_HIGH_EXPRESS_WARRANTY",
|
|
"WARRANTY_AFTER_EXPRESS"
|
|
]
|
|
}
|
|
],
|
|
"valid": 5,
|
|
"killed": 5,
|
|
"kill_rate": 1.0,
|
|
"ok": true
|
|
} |