75 lines
1.6 KiB
JSON
75 lines
1.6 KiB
JSON
{
|
|
"task": "G1036",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}RIDE_BOOKING",
|
|
"mutant": "line 56: + -> - (arith)",
|
|
"status": "killed",
|
|
"hidden": "8/12",
|
|
"failed_tests": [
|
|
"PRICE_DRESSAGE_GROUP5",
|
|
"PRICE_JUMPING_MEDIUM",
|
|
"PRICE_VAULTING_GROUP6",
|
|
"PRICE_WESTERN_GROUP3"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}RIDE_BOOKING",
|
|
"mutant": "line 76: AND -> OR (logic)",
|
|
"status": "killed",
|
|
"hidden": "3/12",
|
|
"failed_tests": [
|
|
"JUMPING_LEVEL_RAISES",
|
|
"MINUTES_INVALID_RAISES",
|
|
"PRICE_DRESSAGE_BASIC",
|
|
"PRICE_DRESSAGE_GROUP5",
|
|
"PRICE_JUMPING_MEDIUM",
|
|
"PRICE_VAULTING_GROUP6",
|
|
"PRICE_WESTERN_GROUP3",
|
|
"RIDERS_INVALID_RAISES",
|
|
"VAULTING_GROUP_RAISES"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}RIDE_BOOKING",
|
|
"mutant": "line 87: < -> >= (rel)",
|
|
"status": "killed",
|
|
"hidden": "5/12",
|
|
"failed_tests": [
|
|
"JUMPING_LEVEL_RAISES",
|
|
"PRICE_DRESSAGE_BASIC",
|
|
"PRICE_DRESSAGE_GROUP5",
|
|
"PRICE_JUMPING_MEDIUM",
|
|
"PRICE_VAULTING_GROUP6",
|
|
"PRICE_WESTERN_GROUP3",
|
|
"VAULTING_GROUP_RAISES"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}RIDE_BOOKING",
|
|
"mutant": "line 94: = -> <> (eq)",
|
|
"status": "killed",
|
|
"hidden": "8/12",
|
|
"failed_tests": [
|
|
"JUMPING_LEVEL_RAISES",
|
|
"PRICE_DRESSAGE_BASIC",
|
|
"PRICE_WESTERN_GROUP3",
|
|
"VAULTING_GROUP_RAISES"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}RIDE_BOOKING",
|
|
"mutant": "line 110: 20 -> 21 (const)",
|
|
"status": "killed",
|
|
"hidden": "10/12",
|
|
"failed_tests": [
|
|
"PRICE_DRESSAGE_BASIC",
|
|
"PRICE_DRESSAGE_GROUP5"
|
|
]
|
|
}
|
|
],
|
|
"valid": 5,
|
|
"killed": 5,
|
|
"kill_rate": 1.0,
|
|
"ok": true
|
|
} |