66 lines
1.3 KiB
JSON
66 lines
1.3 KiB
JSON
{
|
|
"task": "G1065",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}BOAT_HIRE_PRICER",
|
|
"mutant": "line 78: OR -> AND (logic)",
|
|
"status": "killed",
|
|
"hidden": "10/12",
|
|
"failed_tests": [
|
|
"DAYS_OUT_OF_RANGE",
|
|
"REASON_ORDER"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}BOAT_HIRE_PRICER",
|
|
"mutant": "line 78: > -> <= (rel)",
|
|
"status": "killed",
|
|
"hidden": "1/12",
|
|
"failed_tests": [
|
|
"BARGE_LOW_SEASON",
|
|
"CREW_OUT_OF_RANGE",
|
|
"CREW_SURCHARGE_BOUNDARY",
|
|
"DAYS_OUT_OF_RANGE",
|
|
"LOWERCASE_CATEGORY",
|
|
"MAX_BOUNDS_OK",
|
|
"MONTH_OUT_OF_RANGE",
|
|
"NARROW_HIGH_SEASON",
|
|
"REASON_ORDER",
|
|
"SIX_DAYS_NO_DISCOUNT",
|
|
"WIDE_LONG_HIRE"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}BOAT_HIRE_PRICER",
|
|
"mutant": "line 80: OR -> AND (logic)",
|
|
"status": "killed",
|
|
"hidden": "10/12",
|
|
"failed_tests": [
|
|
"CREW_OUT_OF_RANGE",
|
|
"REASON_ORDER"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}BOAT_HIRE_PRICER",
|
|
"mutant": "line 82: 1 -> 2 (const)",
|
|
"status": "survived",
|
|
"hidden": "12/12",
|
|
"failed_tests": []
|
|
},
|
|
{
|
|
"object": "{{P}}BOAT_HIRE_PRICER",
|
|
"mutant": "line 98: * -> / (arith)",
|
|
"status": "killed",
|
|
"hidden": "9/12",
|
|
"failed_tests": [
|
|
"CREW_SURCHARGE_BOUNDARY",
|
|
"MAX_BOUNDS_OK",
|
|
"WIDE_LONG_HIRE"
|
|
]
|
|
}
|
|
],
|
|
"valid": 5,
|
|
"killed": 4,
|
|
"kill_rate": 0.8,
|
|
"ok": true
|
|
} |