Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_014aUaQeLnwbb1zTpN7kHeat
74 lines
1.5 KiB
JSON
74 lines
1.5 KiB
JSON
{
|
|
"task": "G0139",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}MARINA_FEE",
|
|
"mutant": "line 75: <= -> > (rel)",
|
|
"status": "killed",
|
|
"hidden": "4/11",
|
|
"failed_tests": [
|
|
"CATAMARAN_WITH_POWER",
|
|
"DISCOUNT_ROUNDS_UP",
|
|
"LARGE_BOAT_HIGH_POWER",
|
|
"MOTOR_IN_HIGH_SEASON",
|
|
"SAIL_IN_LOW_SEASON",
|
|
"UNKNOWN_TYPE_LIKE_SAIL",
|
|
"WEEK_DISCOUNT"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}MARINA_FEE",
|
|
"mutant": "line 96: = -> <> (eq)",
|
|
"status": "killed",
|
|
"hidden": "3/11",
|
|
"failed_tests": [
|
|
"CATAMARAN_WITH_POWER",
|
|
"DISCOUNT_ROUNDS_UP",
|
|
"LARGE_BOAT_HIGH_POWER",
|
|
"LENGTH_BOUNDARY_8M",
|
|
"MOTOR_IN_HIGH_SEASON",
|
|
"SAIL_IN_LOW_SEASON",
|
|
"UNKNOWN_TYPE_LIKE_SAIL",
|
|
"WEEK_DISCOUNT"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}MARINA_FEE",
|
|
"mutant": "line 105: abap_true -> abap_false (bool)",
|
|
"status": "killed",
|
|
"hidden": "3/11",
|
|
"failed_tests": [
|
|
"CATAMARAN_WITH_POWER",
|
|
"DISCOUNT_ROUNDS_UP",
|
|
"LARGE_BOAT_HIGH_POWER",
|
|
"LENGTH_BOUNDARY_8M",
|
|
"MOTOR_IN_HIGH_SEASON",
|
|
"SAIL_IN_LOW_SEASON",
|
|
"UNKNOWN_TYPE_LIKE_SAIL",
|
|
"WEEK_DISCOUNT"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}MARINA_FEE",
|
|
"mutant": "line 106: + -> - (arith)",
|
|
"status": "killed",
|
|
"hidden": "8/11",
|
|
"failed_tests": [
|
|
"CATAMARAN_WITH_POWER",
|
|
"DISCOUNT_ROUNDS_UP",
|
|
"LARGE_BOAT_HIGH_POWER"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}MARINA_FEE",
|
|
"mutant": "line 114: 2 -> 3 (const)",
|
|
"status": "survived",
|
|
"hidden": "11/11",
|
|
"failed_tests": []
|
|
}
|
|
],
|
|
"valid": 5,
|
|
"killed": 4,
|
|
"kill_rate": 0.8,
|
|
"ok": true
|
|
} |