Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_014aUaQeLnwbb1zTpN7kHeat
94 lines
1.9 KiB
JSON
94 lines
1.9 KiB
JSON
{
|
|
"id": "G0173",
|
|
"category": "H",
|
|
"object_type": "FUNC",
|
|
"difficulty": 2,
|
|
"release_target": "v816",
|
|
"expected_outcome": "stop",
|
|
"expected_gap": {
|
|
"description": "Rule 3 (a driver under 18 pays exactly 15.00) and rule 5 (the minimum fee is 20.00) contradict each other, and the spec does not say which rule has priority.",
|
|
"keywords": [
|
|
[
|
|
"18",
|
|
"15"
|
|
],
|
|
[
|
|
"minimum",
|
|
"20"
|
|
],
|
|
[
|
|
"contradict",
|
|
"rule"
|
|
]
|
|
]
|
|
},
|
|
"budget": {
|
|
"max_tool_calls": 30,
|
|
"max_activations": 6
|
|
},
|
|
"seed": [
|
|
{
|
|
"type": "FUGR",
|
|
"name": "{{P}}FG_KART",
|
|
"description": "Go-kart fee function group"
|
|
},
|
|
{
|
|
"type": "FUNC",
|
|
"name": "{{P}}KART_SAMPLE",
|
|
"functionGroup": "{{P}}FG_KART",
|
|
"file": "seed/kart_sample.func.abap",
|
|
"description": "Sample interface for the booking program"
|
|
}
|
|
],
|
|
"contract": [
|
|
{
|
|
"type": "FUNC",
|
|
"name": "{{P}}KART_FEE",
|
|
"functionGroup": "{{P}}FG_KART",
|
|
"params": [
|
|
{
|
|
"name": "iv_laps",
|
|
"type": "i"
|
|
},
|
|
{
|
|
"name": "iv_driver_age",
|
|
"type": "i"
|
|
},
|
|
{
|
|
"name": "iv_member",
|
|
"type": "abap_bool"
|
|
},
|
|
{
|
|
"name": "ev_discount",
|
|
"type": "abap_bool"
|
|
},
|
|
{
|
|
"name": "cv_fee",
|
|
"type": "decfloat34"
|
|
}
|
|
]
|
|
}
|
|
],
|
|
"out_of_scope": [
|
|
"{{P}}KART_SAMPLE"
|
|
],
|
|
"hidden_tests": [],
|
|
"reference": [
|
|
{
|
|
"type": "FUNC",
|
|
"name": "{{P}}KART_FEE",
|
|
"functionGroup": "{{P}}FG_KART",
|
|
"file": "reference/kart_fee.func.abap",
|
|
"description": "Fee calculation for a race"
|
|
},
|
|
{
|
|
"type": "CLAS",
|
|
"name": "{{P}}KART_TEST",
|
|
"file": "reference/kart_test.clas.abap",
|
|
"description": "Tests for the fee calculation"
|
|
}
|
|
],
|
|
"craft_checks": [
|
|
"method_length"
|
|
]
|
|
} |