Skip to content

Commit

Permalink
Add a test for a partial cost models file
Browse files Browse the repository at this point in the history
  • Loading branch information
carlhammann committed Nov 23, 2023
1 parent 02628c1 commit 4c00091
Show file tree
Hide file tree
Showing 3 changed files with 207 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -187,7 +187,7 @@ hprop_golden_conway_governance_action_create_protocol_parameters_update =
, "--anchor-url", "example.com"
, "--anchor-data-hash", "c7ddb5b493faa4d3d2d679847740bdce0c5d358d56f9b1470ca67f5652a02745"
, "--mainnet"
, "--stake-verification-key-file", stakeAddressVKeyFile
, "--deposit-return-stake-verification-key-file", stakeAddressVKeyFile
, "--governance-action-deposit", "12345"
, "--new-governance-action-deposit", "123454321"
, "--max-tx-size", "1234"
Expand All @@ -198,3 +198,25 @@ hprop_golden_conway_governance_action_create_protocol_parameters_update =
goldenActionFile <- H.note "test/cardano-cli-golden/files/golden/governance/action/conway-create-protocol-parameters-update.action"
H.diffFileVsGoldenFile actionFile goldenActionFile

hprop_golden_conway_governance_action_create_protocol_parameters_update_partial_costmodel :: Property
hprop_golden_conway_governance_action_create_protocol_parameters_update_partial_costmodel =
propertyOnce . H.moduleWorkspace "tmp" $ \tempDir -> do
stakeAddressVKeyFile <- H.note "test/cardano-cli-golden/files/input/governance/stake-address.vkey"
costModelsFile <- H.note "test/cardano-cli-golden/files/input/governance/costmodels-partial.json"

actionFile <- noteTempFile tempDir "action"

void $ execCardanoCLI
[ "conway", "governance", "action", "create-protocol-parameters-update"
, "--anchor-url", "example.com"
, "--anchor-data-hash", "c7ddb5b493faa4d3d2d679847740bdce0c5d358d56f9b1470ca67f5652a02745"
, "--mainnet"
, "--deposit-return-stake-verification-key-file", stakeAddressVKeyFile
, "--governance-action-deposit", "12345"
, "--cost-model-file", costModelsFile
, "--out-file", actionFile
]

goldenActionFile <- H.note "test/cardano-cli-golden/files/golden/governance/action/conway-create-protocol-parameters-update-partial-costmodels.action"
H.diffFileVsGoldenFile actionFile goldenActionFile

Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"type": "Governance proposal",
"description": "",
"cborHex": "84193039581de18f4a3466a404c11eb410313015b88e447d81b60089e25f611600e6058300f6a112a1019f1a0003236119032c01011903e819023b00011903e8195e7104011903e818201a0001ca761928eb041959d818641959d818641959d818641959d818641959d818641959d81864186418641959d81864194c5118201a0002acfa182019b551041a000363151901ff00011a00015c3518201a000797751936f404021a0002ff941a0006ea7818dc0001011903e8196ff604021a0003bd081a00034ec5183e011a00102e0f19312a011a00032e801901a5011a0002da781903e819cf06011a00013a34182019a8f118201903e818201a00013aac0119e143041903e80a1a00030219189c011a00030219189c011a0003207c1901d9011a000330001901ff0119ccf3182019fd40182019ffd5182019581e18201940b318201a00012adf18201a0002ff941a0006ea7818dc0001011a00010f92192da7000119eabb18201a0002ff941a0006ea7818dc0001011a0002ff941a0006ea7818dc0001011a0011b22c1a0005fdde00021a000c504e197712041a001d6af61a0001425b041a00040c660004001a00014fab18201a0003236119032c010119a0de18201a00033d7618201979f41820197fb8182019a95d1820197df718201995aa18201a0223accc0a1a009063b91903fd0a1a02515e841980b30aff826b6578616d706c652e636f6d5820c7ddb5b493faa4d3d2d679847740bdce0c5d358d56f9b1470ca67f5652a02745"
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,179 @@
{
"PlutusV2": {
"addInteger-cpu-arguments-intercept": 205665,
"addInteger-cpu-arguments-slope": 812,
"addInteger-memory-arguments-intercept": 1,
"addInteger-memory-arguments-slope": 1,
"appendByteString-cpu-arguments-intercept": 1000,
"appendByteString-cpu-arguments-slope": 571,
"appendByteString-memory-arguments-intercept": 0,
"appendByteString-memory-arguments-slope": 1,
"appendString-cpu-arguments-intercept": 1000,
"appendString-cpu-arguments-slope": 24177,
"appendString-memory-arguments-intercept": 4,
"appendString-memory-arguments-slope": 1,
"bData-cpu-arguments": 1000,
"bData-memory-arguments": 32,
"blake2b_256-cpu-arguments-intercept": 117366,
"blake2b_256-cpu-arguments-slope": 10475,
"blake2b_256-memory-arguments": 4,
"cekApplyCost-exBudgetCPU": 23000,
"cekApplyCost-exBudgetMemory": 100,
"cekBuiltinCost-exBudgetCPU": 23000,
"cekBuiltinCost-exBudgetMemory": 100,
"cekConstCost-exBudgetCPU": 23000,
"cekConstCost-exBudgetMemory": 100,
"cekDelayCost-exBudgetCPU": 23000,
"cekDelayCost-exBudgetMemory": 100,
"cekForceCost-exBudgetCPU": 23000,
"cekForceCost-exBudgetMemory": 100,
"cekLamCost-exBudgetCPU": 23000,
"cekLamCost-exBudgetMemory": 100,
"cekStartupCost-exBudgetCPU": 100,
"cekStartupCost-exBudgetMemory": 100,
"cekVarCost-exBudgetCPU": 23000,
"cekVarCost-exBudgetMemory": 100,
"chooseData-cpu-arguments": 19537,
"chooseData-memory-arguments": 32,
"chooseList-cpu-arguments": 175354,
"chooseList-memory-arguments": 32,
"chooseUnit-cpu-arguments": 46417,
"chooseUnit-memory-arguments": 4,
"consByteString-cpu-arguments-intercept": 221973,
"consByteString-cpu-arguments-slope": 511,
"consByteString-memory-arguments-intercept": 0,
"consByteString-memory-arguments-slope": 1,
"constrData-cpu-arguments": 89141,
"constrData-memory-arguments": 32,
"decodeUtf8-cpu-arguments-intercept": 497525,
"decodeUtf8-cpu-arguments-slope": 14068,
"decodeUtf8-memory-arguments-intercept": 4,
"decodeUtf8-memory-arguments-slope": 2,
"divideInteger-cpu-arguments-constant": 196500,
"divideInteger-cpu-arguments-model-arguments-intercept": 453240,
"divideInteger-cpu-arguments-model-arguments-slope": 220,
"divideInteger-memory-arguments-intercept": 0,
"divideInteger-memory-arguments-minimum": 1,
"divideInteger-memory-arguments-slope": 1,
"encodeUtf8-cpu-arguments-intercept": 1000,
"encodeUtf8-cpu-arguments-slope": 28662,
"encodeUtf8-memory-arguments-intercept": 4,
"encodeUtf8-memory-arguments-slope": 2,
"equalsByteString-cpu-arguments-constant": 245000,
"equalsByteString-cpu-arguments-intercept": 216773,
"equalsByteString-cpu-arguments-slope": 62,
"equalsByteString-memory-arguments": 1,
"equalsData-cpu-arguments-intercept": 1060367,
"equalsData-cpu-arguments-slope": 12586,
"equalsData-memory-arguments": 1,
"equalsInteger-cpu-arguments-intercept": 208512,
"equalsInteger-cpu-arguments-slope": 421,
"equalsInteger-memory-arguments": 1,
"equalsString-cpu-arguments-constant": 187000,
"equalsString-cpu-arguments-intercept": 1000,
"equalsString-cpu-arguments-slope": 52998,
"equalsString-memory-arguments": 1,
"fstPair-cpu-arguments": 80436,
"fstPair-memory-arguments": 32,
"headList-cpu-arguments": 43249,
"headList-memory-arguments": 32,
"iData-cpu-arguments": 1000,
"iData-memory-arguments": 32,
"ifThenElse-cpu-arguments": 80556,
"ifThenElse-memory-arguments": 1,
"indexByteString-cpu-arguments": 57667,
"indexByteString-memory-arguments": 4,
"lengthOfByteString-cpu-arguments": 1000,
"lengthOfByteString-memory-arguments": 10,
"lessThanByteString-cpu-arguments-intercept": 197145,
"lessThanByteString-cpu-arguments-slope": 156,
"lessThanByteString-memory-arguments": 1,
"lessThanEqualsByteString-cpu-arguments-intercept": 197145,
"lessThanEqualsByteString-cpu-arguments-slope": 156,
"lessThanEqualsByteString-memory-arguments": 1,
"lessThanEqualsInteger-cpu-arguments-intercept": 204924,
"lessThanEqualsInteger-cpu-arguments-slope": 473,
"lessThanEqualsInteger-memory-arguments": 1,
"lessThanInteger-cpu-arguments-intercept": 208896,
"lessThanInteger-cpu-arguments-slope": 511,
"lessThanInteger-memory-arguments": 1,
"listData-cpu-arguments": 52467,
"listData-memory-arguments": 32,
"mapData-cpu-arguments": 64832,
"mapData-memory-arguments": 32,
"mkCons-cpu-arguments": 65493,
"mkCons-memory-arguments": 32,
"mkNilData-cpu-arguments": 22558,
"mkNilData-memory-arguments": 32,
"mkNilPairData-cpu-arguments": 16563,
"mkNilPairData-memory-arguments": 32,
"mkPairData-cpu-arguments": 76511,
"mkPairData-memory-arguments": 32,
"modInteger-cpu-arguments-constant": 196500,
"modInteger-cpu-arguments-model-arguments-intercept": 453240,
"modInteger-cpu-arguments-model-arguments-slope": 220,
"modInteger-memory-arguments-intercept": 0,
"modInteger-memory-arguments-minimum": 1,
"modInteger-memory-arguments-slope": 1,
"multiplyInteger-cpu-arguments-intercept": 69522,
"multiplyInteger-cpu-arguments-slope": 11687,
"multiplyInteger-memory-arguments-intercept": 0,
"multiplyInteger-memory-arguments-slope": 1,
"nullList-cpu-arguments": 60091,
"nullList-memory-arguments": 32,
"quotientInteger-cpu-arguments-constant": 196500,
"quotientInteger-cpu-arguments-model-arguments-intercept": 453240,
"quotientInteger-cpu-arguments-model-arguments-slope": 220,
"quotientInteger-memory-arguments-intercept": 0,
"quotientInteger-memory-arguments-minimum": 1,
"quotientInteger-memory-arguments-slope": 1,
"remainderInteger-cpu-arguments-constant": 196500,
"remainderInteger-cpu-arguments-model-arguments-intercept": 453240,
"remainderInteger-cpu-arguments-model-arguments-slope": 220,
"remainderInteger-memory-arguments-intercept": 0,
"remainderInteger-memory-arguments-minimum": 1,
"remainderInteger-memory-arguments-slope": 1,
"serialiseData-cpu-arguments-intercept": 1159724,
"serialiseData-cpu-arguments-slope": 392670,
"serialiseData-memory-arguments-intercept": 0,
"serialiseData-memory-arguments-slope": 2,
"sha2_256-cpu-arguments-intercept": 806990,
"sha2_256-cpu-arguments-slope": 30482,
"sha2_256-memory-arguments": 4,
"sha3_256-cpu-arguments-intercept": 1927926,
"sha3_256-cpu-arguments-slope": 82523,
"sha3_256-memory-arguments": 4,
"sliceByteString-cpu-arguments-intercept": 265318,
"sliceByteString-cpu-arguments-slope": 0,
"sliceByteString-memory-arguments-intercept": 4,
"sliceByteString-memory-arguments-slope": 0,
"sndPair-cpu-arguments": 85931,
"sndPair-memory-arguments": 32,
"subtractInteger-cpu-arguments-intercept": 205665,
"subtractInteger-cpu-arguments-slope": 812,
"subtractInteger-memory-arguments-intercept": 1,
"subtractInteger-memory-arguments-slope": 1,
"tailList-cpu-arguments": 41182,
"tailList-memory-arguments": 32,
"trace-cpu-arguments": 212342,
"trace-memory-arguments": 32,
"unBData-cpu-arguments": 31220,
"unBData-memory-arguments": 32,
"unConstrData-cpu-arguments": 32696,
"unConstrData-memory-arguments": 32,
"unIData-cpu-arguments": 43357,
"unIData-memory-arguments": 32,
"unListData-cpu-arguments": 32247,
"unListData-memory-arguments": 32,
"unMapData-cpu-arguments": 38314,
"unMapData-memory-arguments": 32,
"verifyEcdsaSecp256k1Signature-cpu-arguments": 35892428,
"verifyEcdsaSecp256k1Signature-memory-arguments": 10,
"verifyEd25519Signature-cpu-arguments-intercept": 9462713,
"verifyEd25519Signature-cpu-arguments-slope": 1021,
"verifyEd25519Signature-memory-arguments": 10,
"verifySchnorrSecp256k1Signature-cpu-arguments-intercept": 38887044,
"verifySchnorrSecp256k1Signature-cpu-arguments-slope": 32947,
"verifySchnorrSecp256k1Signature-memory-arguments": 10
}
}

0 comments on commit 4c00091

Please sign in to comment.