Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_014aUaQeLnwbb1zTpN7kHeat
76 lines
1.5 KiB
JSON
76 lines
1.5 KiB
JSON
{
|
|
"task": "G0135",
|
|
"mutants": [
|
|
{
|
|
"object": "{{P}}POOL_FEE",
|
|
"mutant": "line 66: <= -> > (rel)",
|
|
"status": "killed",
|
|
"hidden": "5/12",
|
|
"failed_tests": [
|
|
"CHILD_BASIC",
|
|
"DURATION_FIRST_BLOCK",
|
|
"DURATION_TWO_BLOCKS",
|
|
"FAMILY_BASIC",
|
|
"NEGATIVE_MINUTES",
|
|
"SAUNA_FAMILY",
|
|
"UNKNOWN_WITH_DURATION"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}POOL_FEE",
|
|
"mutant": "line 70: * -> / (arith)",
|
|
"status": "survived",
|
|
"hidden": "12/12",
|
|
"failed_tests": []
|
|
},
|
|
{
|
|
"object": "{{P}}POOL_FEE",
|
|
"mutant": "line 74: abap_true -> abap_false (bool)",
|
|
"status": "killed",
|
|
"hidden": "2/12",
|
|
"failed_tests": [
|
|
"ADULT_BASIC",
|
|
"DURATION_FIRST_BLOCK",
|
|
"DURATION_TWO_BLOCKS",
|
|
"FAMILY_BASIC",
|
|
"NEGATIVE_MINUTES",
|
|
"SAUNA_ADULT",
|
|
"SAUNA_FAMILY",
|
|
"SENIOR_BASIC",
|
|
"UNKNOWN_TICKET",
|
|
"UNKNOWN_WITH_DURATION"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}POOL_FEE",
|
|
"mutant": "line 74: OR -> AND (logic)",
|
|
"status": "killed",
|
|
"hidden": "3/12",
|
|
"failed_tests": [
|
|
"ADULT_BASIC",
|
|
"DURATION_FIRST_BLOCK",
|
|
"DURATION_TWO_BLOCKS",
|
|
"FAMILY_BASIC",
|
|
"NEGATIVE_MINUTES",
|
|
"SAUNA_CHILD_IGNORED",
|
|
"SENIOR_BASIC",
|
|
"UNKNOWN_TICKET",
|
|
"UNKNOWN_WITH_DURATION"
|
|
]
|
|
},
|
|
{
|
|
"object": "{{P}}POOL_FEE",
|
|
"mutant": "line 77: = -> <> (eq)",
|
|
"status": "killed",
|
|
"hidden": "10/12",
|
|
"failed_tests": [
|
|
"SAUNA_ADULT",
|
|
"SAUNA_FAMILY"
|
|
]
|
|
}
|
|
],
|
|
"valid": 5,
|
|
"killed": 4,
|
|
"kill_rate": 0.8,
|
|
"ok": true
|
|
} |