Skip to content

Commit ccf8d7f

Browse files
Unisayclaude
andcommitted
fix(print-cost-model): add missing LinearInXAndY case to renderModel
Add LinearInXAndY case to the renderModel function in print-cost-model executable to handle the linear_in_x_and_y costing function type that was introduced for valueContains builtin. This addresses Kenneth's comment about the missing case in the print-cost-model executable. Fixes: #7476 (comment) Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
1 parent 1418ee3 commit ccf8d7f

File tree

1 file changed

+1
-0
lines changed
  • plutus-core/cost-model/print-cost-model

1 file changed

+1
-0
lines changed

plutus-core/cost-model/print-cost-model/Main.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -137,6 +137,7 @@ renderModel =
137137
QuadraticInXAndY f -> [renderTwoVariableQuadraticFunction f "x" "y"]
138138
ExpModCost f -> [renderExpModCostingFunction f "y" "z"]
139139
LinearInMaxYZ f -> [renderLinearFunction f "max(y,z)"]
140+
LinearInXAndY f -> [renderTwoVariableLinearFunction f "x" "y"]
140141
LinearInYAndZ f -> [renderTwoVariableLinearFunction f "y" "z"]
141142
LiteralInYOrLinearInZ f ->
142143
[ "if y==0"

0 commit comments

Comments
 (0)