80 lines
1.7 KiB
JSON
80 lines
1.7 KiB
JSON
{
|
|
"task": "G1004",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}BALLOON_CHECKER",
|
|
"mutant": "line 22: > -> <= (rel)",
|
|
"status": "killed",
|
|
"hidden": "0/10",
|
|
"failed_tests": [
|
|
"CLOUD_BASE_BELOW_LIMIT",
|
|
"CREW_ABOVE_LIMIT",
|
|
"CREW_IS_CHECKED_FIRST",
|
|
"FREE_PAYLOAD_IS_RETURNED",
|
|
"LIMITS_ARE_ACCEPTED",
|
|
"VALID_FLIGHT_IS_RELEASED",
|
|
"WEIGHT_ABOVE_LIMIT",
|
|
"WEIGHT_IS_CHECKED_SECOND",
|
|
"WIND_ABOVE_LIMIT",
|
|
"WIND_IS_CHECKED_THIRD"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}BALLOON_CHECKER",
|
|
"mutant": "line 29: > -> <= (rel)",
|
|
"status": "killed",
|
|
"hidden": "2/10",
|
|
"failed_tests": [
|
|
"CLOUD_BASE_BELOW_LIMIT",
|
|
"FREE_PAYLOAD_IS_RETURNED",
|
|
"LIMITS_ARE_ACCEPTED",
|
|
"VALID_FLIGHT_IS_RELEASED",
|
|
"WEIGHT_ABOVE_LIMIT",
|
|
"WEIGHT_IS_CHECKED_SECOND",
|
|
"WIND_ABOVE_LIMIT",
|
|
"WIND_IS_CHECKED_THIRD"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}BALLOON_CHECKER",
|
|
"mutant": "line 36: > -> <= (rel)",
|
|
"status": "killed",
|
|
"hidden": "4/10",
|
|
"failed_tests": [
|
|
"CLOUD_BASE_BELOW_LIMIT",
|
|
"FREE_PAYLOAD_IS_RETURNED",
|
|
"LIMITS_ARE_ACCEPTED",
|
|
"VALID_FLIGHT_IS_RELEASED",
|
|
"WIND_ABOVE_LIMIT",
|
|
"WIND_IS_CHECKED_THIRD"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}BALLOON_CHECKER",
|
|
"mutant": "line 43: < -> >= (rel)",
|
|
"status": "killed",
|
|
"hidden": "6/10",
|
|
"failed_tests": [
|
|
"CLOUD_BASE_BELOW_LIMIT",
|
|
"FREE_PAYLOAD_IS_RETURNED",
|
|
"LIMITS_ARE_ACCEPTED",
|
|
"VALID_FLIGHT_IS_RELEASED"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}BALLOON_CHECKER",
|
|
"mutant": "line 50: - -> + (arith)",
|
|
"status": "killed",
|
|
"hidden": "7/10",
|
|
"failed_tests": [
|
|
"FREE_PAYLOAD_IS_RETURNED",
|
|
"LIMITS_ARE_ACCEPTED",
|
|
"VALID_FLIGHT_IS_RELEASED"
|
|
]
|
|
}
|
|
],
|
|
"valid": 5,
|
|
"killed": 5,
|
|
"kill_rate": 1.0,
|
|
"ok": true
|
|
} |