Skip to content

Commit 23567d5

Browse files
lehinslehins
committed
Add Genesis test
1 parent 251ed05 commit 23567d5

File tree

12 files changed

+701
-0
lines changed

12 files changed

+701
-0
lines changed

‎eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/Era/Spec.hs‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
{-# LANGUAGE AllowAmbiguousTypes #-}
2+
{-# LANGUAGE ScopedTypeVariables #-}
3+
{-# LANGUAGE TypeApplications #-}
4+
5+
module Test.Cardano.Ledger.Allegra.Era.Spec (
6+
allegraEraSpec,
7+
) where
8+
9+
import Test.Cardano.Ledger.Allegra.ImpTest
10+
import Test.Cardano.Ledger.Imp.Common
11+
import Test.Cardano.Ledger.Shelley.Era.Spec (shelleyEraSpec)
12+
13+
-- | This spec is applicable to all eras and will be executed for every era starting with Allegra.
14+
allegraEraSpec :: forall era. ShelleyEraImp era => Spec
15+
allegraEraSpec = do
16+
shelleyEraSpec @era

‎eras/alonzo/impl/golden/json/alonzo-genesis.json‎

Lines changed: 196 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,196 @@
1+
{
2+
"lovelacePerUTxOWord": 34482,
3+
"executionPrices": {
4+
"prSteps":
5+
{
6+
"numerator" : 721,
7+
"denominator" : 10000000
8+
},
9+
"prMem":
10+
{
11+
"numerator" : 577,
12+
"denominator" : 10000
13+
}
14+
},
15+
"maxTxExUnits": {
16+
"exUnitsMem": 10000000,
17+
"exUnitsSteps": 10000000000
18+
},
19+
"maxBlockExUnits": {
20+
"exUnitsMem": 50000000,
21+
"exUnitsSteps": 40000000000
22+
},
23+
"maxValueSize": 5000,
24+
"collateralPercentage": 150,
25+
"maxCollateralInputs": 3,
26+
"costModels": {
27+
"PlutusV1": {
28+
"addInteger-cpu-arguments-intercept": 100788,
29+
"addInteger-cpu-arguments-slope": 420,
30+
"addInteger-memory-arguments-intercept": 1,
31+
"addInteger-memory-arguments-slope": 1,
32+
"appendByteString-cpu-arguments-intercept": 1000,
33+
"appendByteString-cpu-arguments-slope": 173,
34+
"appendByteString-memory-arguments-intercept": 0,
35+
"appendByteString-memory-arguments-slope": 1,
36+
"appendString-cpu-arguments-intercept": 1000,
37+
"appendString-cpu-arguments-slope": 59957,
38+
"appendString-memory-arguments-intercept": 4,
39+
"appendString-memory-arguments-slope": 1,
40+
"bData-cpu-arguments": 11183,
41+
"bData-memory-arguments": 32,
42+
"blake2b-cpu-arguments-intercept": 201305,
43+
"blake2b-cpu-arguments-slope": 8356,
44+
"blake2b-memory-arguments": 4,
45+
"cekApplyCost-exBudgetCPU": 16000,
46+
"cekApplyCost-exBudgetMemory": 100,
47+
"cekBuiltinCost-exBudgetCPU": 16000,
48+
"cekBuiltinCost-exBudgetMemory": 100,
49+
"cekConstCost-exBudgetCPU": 16000,
50+
"cekConstCost-exBudgetMemory": 100,
51+
"cekDelayCost-exBudgetCPU": 16000,
52+
"cekDelayCost-exBudgetMemory": 100,
53+
"cekForceCost-exBudgetCPU": 16000,
54+
"cekForceCost-exBudgetMemory": 100,
55+
"cekLamCost-exBudgetCPU": 16000,
56+
"cekLamCost-exBudgetMemory": 100,
57+
"cekStartupCost-exBudgetCPU": 100,
58+
"cekStartupCost-exBudgetMemory": 100,
59+
"cekVarCost-exBudgetCPU": 16000,
60+
"cekVarCost-exBudgetMemory": 100,
61+
"chooseData-cpu-arguments": 94375,
62+
"chooseData-memory-arguments": 32,
63+
"chooseList-cpu-arguments": 132994,
64+
"chooseList-memory-arguments": 32,
65+
"chooseUnit-cpu-arguments": 61462,
66+
"chooseUnit-memory-arguments": 4,
67+
"consByteString-cpu-arguments-intercept": 72010,
68+
"consByteString-cpu-arguments-slope": 178,
69+
"consByteString-memory-arguments-intercept": 0,
70+
"consByteString-memory-arguments-slope": 1,
71+
"constrData-cpu-arguments": 22151,
72+
"constrData-memory-arguments": 32,
73+
"decodeUtf8-cpu-arguments-intercept": 91189,
74+
"decodeUtf8-cpu-arguments-slope": 769,
75+
"decodeUtf8-memory-arguments-intercept": 4,
76+
"decodeUtf8-memory-arguments-slope": 2,
77+
"divideInteger-cpu-arguments-constant": 85848,
78+
"divideInteger-cpu-arguments-model-arguments-intercept": 228465,
79+
"divideInteger-cpu-arguments-model-arguments-slope": 122,
80+
"divideInteger-memory-arguments-intercept": 0,
81+
"divideInteger-memory-arguments-minimum": 1,
82+
"divideInteger-memory-arguments-slope": 1,
83+
"encodeUtf8-cpu-arguments-intercept": 1000,
84+
"encodeUtf8-cpu-arguments-slope": 42921,
85+
"encodeUtf8-memory-arguments-intercept": 4,
86+
"encodeUtf8-memory-arguments-slope": 2,
87+
"equalsByteString-cpu-arguments-constant": 24548,
88+
"equalsByteString-cpu-arguments-intercept": 29498,
89+
"equalsByteString-cpu-arguments-slope": 38,
90+
"equalsByteString-memory-arguments": 1,
91+
"equalsData-cpu-arguments-intercept": 898148,
92+
"equalsData-cpu-arguments-slope": 27279,
93+
"equalsData-memory-arguments": 1,
94+
"equalsInteger-cpu-arguments-intercept": 51775,
95+
"equalsInteger-cpu-arguments-slope": 558,
96+
"equalsInteger-memory-arguments": 1,
97+
"equalsString-cpu-arguments-constant": 39184,
98+
"equalsString-cpu-arguments-intercept": 1000,
99+
"equalsString-cpu-arguments-slope": 60594,
100+
"equalsString-memory-arguments": 1,
101+
"fstPair-cpu-arguments": 141895,
102+
"fstPair-memory-arguments": 32,
103+
"headList-cpu-arguments": 83150,
104+
"headList-memory-arguments": 32,
105+
"iData-cpu-arguments": 15299,
106+
"iData-memory-arguments": 32,
107+
"ifThenElse-cpu-arguments": 76049,
108+
"ifThenElse-memory-arguments": 1,
109+
"indexByteString-cpu-arguments": 13169,
110+
"indexByteString-memory-arguments": 4,
111+
"lengthOfByteString-cpu-arguments": 22100,
112+
"lengthOfByteString-memory-arguments": 10,
113+
"lessThanByteString-cpu-arguments-intercept": 28999,
114+
"lessThanByteString-cpu-arguments-slope": 74,
115+
"lessThanByteString-memory-arguments": 1,
116+
"lessThanEqualsByteString-cpu-arguments-intercept": 28999,
117+
"lessThanEqualsByteString-cpu-arguments-slope": 74,
118+
"lessThanEqualsByteString-memory-arguments": 1,
119+
"lessThanEqualsInteger-cpu-arguments-intercept": 43285,
120+
"lessThanEqualsInteger-cpu-arguments-slope": 552,
121+
"lessThanEqualsInteger-memory-arguments": 1,
122+
"lessThanInteger-cpu-arguments-intercept": 44749,
123+
"lessThanInteger-cpu-arguments-slope": 541,
124+
"lessThanInteger-memory-arguments": 1,
125+
"listData-cpu-arguments": 33852,
126+
"listData-memory-arguments": 32,
127+
"mapData-cpu-arguments": 68246,
128+
"mapData-memory-arguments": 32,
129+
"mkCons-cpu-arguments": 72362,
130+
"mkCons-memory-arguments": 32,
131+
"mkNilData-cpu-arguments": 7243,
132+
"mkNilData-memory-arguments": 32,
133+
"mkNilPairData-cpu-arguments": 7391,
134+
"mkNilPairData-memory-arguments": 32,
135+
"mkPairData-cpu-arguments": 11546,
136+
"mkPairData-memory-arguments": 32,
137+
"modInteger-cpu-arguments-constant": 85848,
138+
"modInteger-cpu-arguments-model-arguments-intercept": 228465,
139+
"modInteger-cpu-arguments-model-arguments-slope": 122,
140+
"modInteger-memory-arguments-intercept": 0,
141+
"modInteger-memory-arguments-minimum": 1,
142+
"modInteger-memory-arguments-slope": 1,
143+
"multiplyInteger-cpu-arguments-intercept": 90434,
144+
"multiplyInteger-cpu-arguments-slope": 519,
145+
"multiplyInteger-memory-arguments-intercept": 0,
146+
"multiplyInteger-memory-arguments-slope": 1,
147+
"nullList-cpu-arguments": 74433,
148+
"nullList-memory-arguments": 32,
149+
"quotientInteger-cpu-arguments-constant": 85848,
150+
"quotientInteger-cpu-arguments-model-arguments-intercept": 228465,
151+
"quotientInteger-cpu-arguments-model-arguments-slope": 122,
152+
"quotientInteger-memory-arguments-intercept": 0,
153+
"quotientInteger-memory-arguments-minimum": 1,
154+
"quotientInteger-memory-arguments-slope": 1,
155+
"remainderInteger-cpu-arguments-constant": 85848,
156+
"remainderInteger-cpu-arguments-model-arguments-intercept": 228465,
157+
"remainderInteger-cpu-arguments-model-arguments-slope": 122,
158+
"remainderInteger-memory-arguments-intercept": 0,
159+
"remainderInteger-memory-arguments-minimum": 1,
160+
"remainderInteger-memory-arguments-slope": 1,
161+
"sha2_256-cpu-arguments-intercept": 270652,
162+
"sha2_256-cpu-arguments-slope": 22588,
163+
"sha2_256-memory-arguments": 4,
164+
"sha3_256-cpu-arguments-intercept": 1457325,
165+
"sha3_256-cpu-arguments-slope": 64566,
166+
"sha3_256-memory-arguments": 4,
167+
"sliceByteString-cpu-arguments-intercept": 20467,
168+
"sliceByteString-cpu-arguments-slope": 1,
169+
"sliceByteString-memory-arguments-intercept": 4,
170+
"sliceByteString-memory-arguments-slope": 0,
171+
"sndPair-cpu-arguments": 141992,
172+
"sndPair-memory-arguments": 32,
173+
"subtractInteger-cpu-arguments-intercept": 100788,
174+
"subtractInteger-cpu-arguments-slope": 420,
175+
"subtractInteger-memory-arguments-intercept": 1,
176+
"subtractInteger-memory-arguments-slope": 1,
177+
"tailList-cpu-arguments": 81663,
178+
"tailList-memory-arguments": 32,
179+
"trace-cpu-arguments": 59498,
180+
"trace-memory-arguments": 32,
181+
"unBData-cpu-arguments": 20142,
182+
"unBData-memory-arguments": 32,
183+
"unConstrData-cpu-arguments": 24588,
184+
"unConstrData-memory-arguments": 32,
185+
"unIData-cpu-arguments": 20744,
186+
"unIData-memory-arguments": 32,
187+
"unListData-cpu-arguments": 25933,
188+
"unListData-memory-arguments": 32,
189+
"unMapData-cpu-arguments": 24623,
190+
"unMapData-memory-arguments": 32,
191+
"verifySignature-cpu-arguments-intercept": 53384111,
192+
"verifySignature-cpu-arguments-slope": 14333,
193+
"verifySignature-memory-arguments": 10
194+
}
195+
}
196+
}

‎eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Era/Spec.hs‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
{-# LANGUAGE AllowAmbiguousTypes #-}
2+
{-# LANGUAGE ScopedTypeVariables #-}
3+
{-# LANGUAGE TypeApplications #-}
4+
5+
module Test.Cardano.Ledger.Alonzo.Era.Spec (
6+
alonzoEraSpec,
7+
) where
8+
9+
import Test.Cardano.Ledger.Alonzo.ImpTest
10+
import Test.Cardano.Ledger.Imp.Common
11+
import Test.Cardano.Ledger.Mary.Era.Spec (maryEraSpec)
12+
13+
-- | This spec is applicable to all eras and will be executed for every era starting with Alonzo.
14+
alonzoEraSpec :: forall era. AlonzoEraImp era => Spec
15+
alonzoEraSpec = do
16+
maryEraSpec @era

‎eras/babbage/impl/testlib/Test/Cardano/Ledger/Babbage/Era/Spec.hs‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
{-# LANGUAGE AllowAmbiguousTypes #-}
2+
{-# LANGUAGE ScopedTypeVariables #-}
3+
{-# LANGUAGE TypeApplications #-}
4+
5+
module Test.Cardano.Ledger.Babbage.Era.Spec (
6+
babbageEraSpec,
7+
) where
8+
9+
import Test.Cardano.Ledger.Alonzo.Era.Spec (alonzoEraSpec)
10+
import Test.Cardano.Ledger.Babbage.ImpTest
11+
import Test.Cardano.Ledger.Imp.Common
12+
13+
-- | This spec is applicable to all eras and will be executed for every era starting with Babbage.
14+
babbageEraSpec :: forall era. AlonzoEraImp era => Spec
15+
babbageEraSpec = do
16+
alonzoEraSpec @era

0 commit comments

Comments
 (0)