Fix coverage with several contract classes; table annotation and file path checks; clean task dir on write
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_014aUaQeLnwbb1zTpN7kHeat
This commit is contained in:
83
tasks_gen/eval/G0104/mutation.json
Normal file
83
tasks_gen/eval/G0104/mutation.json
Normal file
@@ -0,0 +1,83 @@
|
||||
{
|
||||
"task": "G0104",
|
||||
"mutants": [
|
||||
{
|
||||
"object": "{{P}}INSURANCE_PREMIUM",
|
||||
"mutant": "line 30: OR -> AND (logic)",
|
||||
"status": "killed",
|
||||
"hidden": "11/12",
|
||||
"failed_tests": [
|
||||
"INVALID_INPUTS"
|
||||
]
|
||||
},
|
||||
{
|
||||
"object": "{{P}}INSURANCE_PREMIUM",
|
||||
"mutant": "line 31: < -> >= (rel)",
|
||||
"status": "killed",
|
||||
"hidden": "1/12",
|
||||
"failed_tests": [
|
||||
"ALL_REGIONS",
|
||||
"CLAIM_FREE_CAPPED",
|
||||
"CLAIM_FREE_DISCOUNT",
|
||||
"HIGH_POWER",
|
||||
"INVALID_INPUTS",
|
||||
"LOW_POWER",
|
||||
"MINIMUM_PREMIUM",
|
||||
"SENIOR_DRIVER",
|
||||
"STANDARD_PREMIUM",
|
||||
"VERY_HIGH_POWER",
|
||||
"YOUNG_DRIVER"
|
||||
]
|
||||
},
|
||||
{
|
||||
"object": "{{P}}INSURANCE_PREMIUM",
|
||||
"mutant": "line 36: = -> <> (eq)",
|
||||
"status": "killed",
|
||||
"hidden": "1/12",
|
||||
"failed_tests": [
|
||||
"ALL_REGIONS",
|
||||
"CLAIM_FREE_CAPPED",
|
||||
"CLAIM_FREE_DISCOUNT",
|
||||
"HIGH_POWER",
|
||||
"INVALID_REGION",
|
||||
"LOW_POWER",
|
||||
"MINIMUM_PREMIUM",
|
||||
"SENIOR_DRIVER",
|
||||
"STANDARD_PREMIUM",
|
||||
"VERY_HIGH_POWER",
|
||||
"YOUNG_DRIVER"
|
||||
]
|
||||
},
|
||||
{
|
||||
"object": "{{P}}INSURANCE_PREMIUM",
|
||||
"mutant": "line 41: * -> / (arith)",
|
||||
"status": "killed",
|
||||
"hidden": "10/12",
|
||||
"failed_tests": [
|
||||
"SENIOR_DRIVER",
|
||||
"YOUNG_DRIVER"
|
||||
]
|
||||
},
|
||||
{
|
||||
"object": "{{P}}INSURANCE_PREMIUM",
|
||||
"mutant": "line 94: 100 -> 101 (const)",
|
||||
"status": "killed",
|
||||
"hidden": "3/12",
|
||||
"failed_tests": [
|
||||
"ALL_REGIONS",
|
||||
"CLAIM_FREE_CAPPED",
|
||||
"CLAIM_FREE_DISCOUNT",
|
||||
"HIGH_POWER",
|
||||
"LOW_POWER",
|
||||
"SENIOR_DRIVER",
|
||||
"STANDARD_PREMIUM",
|
||||
"VERY_HIGH_POWER",
|
||||
"YOUNG_DRIVER"
|
||||
]
|
||||
}
|
||||
],
|
||||
"valid": 5,
|
||||
"killed": 5,
|
||||
"kill_rate": 1.0,
|
||||
"ok": true
|
||||
}
|
||||
Reference in New Issue
Block a user