76 lines
1.6 KiB
JSON
76 lines
1.6 KiB
JSON
{
|
|
"task": "G1056",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}TYRE_CHECKER",
|
|
"mutant": "line 48: < -> >= (rel)",
|
|
"status": "killed",
|
|
"hidden": "1/12",
|
|
"failed_tests": [
|
|
"ACCEPTS_HIGHER_RATINGS",
|
|
"ACCEPTS_VALID_ORDER",
|
|
"LOAD_CHECKED_BEFORE_SPEED",
|
|
"QTY_CHECKED_FIRST",
|
|
"REJECTS_LOW_LOAD",
|
|
"REJECTS_LOW_SPEED",
|
|
"REJECTS_WRONG_PROFILE",
|
|
"REJECTS_WRONG_RIM",
|
|
"REJECTS_WRONG_WIDTH",
|
|
"REJECTS_ZERO_QTY",
|
|
"SIZE_CHECKED_BEFORE_LOAD"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}TYRE_CHECKER",
|
|
"mutant": "line 48: 1 -> 2 (const)",
|
|
"status": "killed",
|
|
"hidden": "11/12",
|
|
"failed_tests": [
|
|
"ACCEPTS_VALID_ORDER"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}TYRE_CHECKER",
|
|
"mutant": "line 54: <> -> = (rel)",
|
|
"status": "killed",
|
|
"hidden": "5/12",
|
|
"failed_tests": [
|
|
"ACCEPTS_HIGHER_RATINGS",
|
|
"ACCEPTS_VALID_ORDER",
|
|
"LOAD_CHECKED_BEFORE_SPEED",
|
|
"REJECTS_LOW_LOAD",
|
|
"REJECTS_LOW_SPEED",
|
|
"REJECTS_WRONG_WIDTH",
|
|
"SIZE_CHECKED_BEFORE_LOAD"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}TYRE_CHECKER",
|
|
"mutant": "line 55: OR -> AND (logic)",
|
|
"status": "killed",
|
|
"hidden": "9/12",
|
|
"failed_tests": [
|
|
"REJECTS_WRONG_PROFILE",
|
|
"REJECTS_WRONG_WIDTH",
|
|
"SIZE_CHECKED_BEFORE_LOAD"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}TYRE_CHECKER",
|
|
"mutant": "line 62: < -> >= (rel)",
|
|
"status": "killed",
|
|
"hidden": "7/12",
|
|
"failed_tests": [
|
|
"ACCEPTS_HIGHER_RATINGS",
|
|
"ACCEPTS_VALID_ORDER",
|
|
"LOAD_CHECKED_BEFORE_SPEED",
|
|
"REJECTS_LOW_LOAD",
|
|
"REJECTS_LOW_SPEED"
|
|
]
|
|
}
|
|
],
|
|
"valid": 5,
|
|
"killed": 5,
|
|
"kill_rate": 1.0,
|
|
"ok": true
|
|
} |