58 lines
1.1 KiB
JSON
58 lines
1.1 KiB
JSON
{
|
|
"task": "G1940",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}LIFT_CHECK",
|
|
"mutant": "line 31: > -> <= (rel)",
|
|
"status": "killed",
|
|
"hidden": "7/11",
|
|
"failed_tests": [
|
|
"OVERLOAD_RAISES",
|
|
"VALID_PLAN_PASSES",
|
|
"WIND_LIMIT_OK",
|
|
"WIND_RAISES"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}MSG_CRANE",
|
|
"mutant": "message 002: number + 50 (number)",
|
|
"status": "invalid",
|
|
"hidden": "0/0",
|
|
"failed_tests": []
|
|
},
|
|
{
|
|
"object": "{{P}}LIFT_CHECK",
|
|
"mutant": "line 37: > -> <= (rel)",
|
|
"status": "killed",
|
|
"hidden": "8/11",
|
|
"failed_tests": [
|
|
"VALID_PLAN_PASSES",
|
|
"WIND_LIMIT_OK",
|
|
"WIND_RAISES"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}MSG_CRANE",
|
|
"mutant": "message 003: text + ' x' (text)",
|
|
"status": "killed",
|
|
"hidden": "9/11",
|
|
"failed_tests": [
|
|
"MSG_003_TEXT",
|
|
"WIND_RAISES"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}MSG_CRANE",
|
|
"mutant": "message 004: &1 -> &2 (placeholder)",
|
|
"status": "killed",
|
|
"hidden": "10/11",
|
|
"failed_tests": [
|
|
"MSG_004_TEXT"
|
|
]
|
|
}
|
|
],
|
|
"valid": 4,
|
|
"killed": 4,
|
|
"kill_rate": 1.0,
|
|
"ok": true
|
|
} |