Skip to content

Commit 84b6f09

Browse files
SeungheonOhSeungheonOh
committed
Add goldenEvalCekCatchBudget and change existing cases to use it
`goldenEvalCekCatchBudget` combines `goldenBudget` and `goldenEvalCekCatch`. Unlike calling two separately, this will only run CEK once.
1 parent bc4c2d0 commit 84b6f09

File tree

11 files changed

+112
-174
lines changed

11 files changed

+112
-174
lines changed

‎plutus-benchmark/bitwise/test/Main.hs

Lines changed: 5 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ import PlutusBenchmark.NQueens.Compiled (dimAsData, nqueensCompiled)
1313
import PlutusBenchmark.SHA512 (sha512)
1414
import PlutusTx.Builtins (fromBuiltin, toBuiltin)
1515
import PlutusTx.Code (unsafeApplyCode)
16-
import PlutusTx.Test (goldenBudget, goldenEvalCekCatch, goldenPirReadable)
16+
import PlutusTx.Test (goldenEvalCekCatchBudget, goldenPirReadable)
1717
import Test.Tasty (TestTree, defaultMain, testGroup)
1818
import Test.Tasty.Extras (TestNested, runTestNested, testNestedGhc)
1919
import Test.Tasty.HUnit (assertEqual, testCase)
@@ -24,10 +24,9 @@ main = defaultMain . testGroup "bitwise" $ [
2424
testCase "solves for 8 queens" $ assertEqual ""
2525
[(0,0), (1,4), (2,7), (3,5), (4,2), (5,6), (6,1), (7,3)]
2626
(nqueens 8),
27-
runTestGhc [
28-
goldenPirReadable "8 queens" $ nqueensCompiled `unsafeApplyCode` dimAsData,
29-
goldenBudget "8 queens" $ nqueensCompiled `unsafeApplyCode` dimAsData,
30-
goldenEvalCekCatch "8 queens" [nqueensCompiled `unsafeApplyCode` dimAsData]
27+
runTestGhc
28+
[ goldenPirReadable "8 queens" $ nqueensCompiled `unsafeApplyCode` dimAsData
29+
, goldenEvalCekCatchBudget "8 queens" $ nqueensCompiled `unsafeApplyCode` dimAsData
3130
]
3231
],
3332
testGroup "Ed25519" [
@@ -36,11 +35,8 @@ main = defaultMain . testGroup "bitwise" $ [
3635
runTestGhc [
3736
goldenPirReadable "Ed25519" $
3837
checkValidCompiled `unsafeApplyCode` signatureAsData `unsafeApplyCode` msgAsData `unsafeApplyCode` pkAsData,
39-
goldenBudget "Ed25519" $
40-
checkValidCompiled `unsafeApplyCode` signatureAsData `unsafeApplyCode` msgAsData `unsafeApplyCode` pkAsData,
41-
goldenEvalCekCatch "Ed25519" [
38+
goldenEvalCekCatchBudget "Ed25519" $
4239
checkValidCompiled `unsafeApplyCode` signatureAsData `unsafeApplyCode` msgAsData `unsafeApplyCode` pkAsData
43-
]
4440
]
4541
]
4642
]

‎plutus-benchmark/lists/test/Lookup/Spec.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,9 +16,9 @@ tests :: TestTree
1616
tests =
1717
runTestGhc ["Lookup"] $
1818
flip concatMap sizes $ \sz ->
19-
[ Tx.goldenBudget ("match-scott-list-" ++ show sz) $
19+
[ Tx.goldenEvalCekCatchBudget ("match-scott-list-" ++ show sz) $
2020
Compiled.mkMatchWithListsCode (Compiled.workloadOfSize sz)
21-
, Tx.goldenBudget ("match-builtin-list-" ++ show sz) $
21+
, Tx.goldenEvalCekCatchBudget ("match-builtin-list-" ++ show sz) $
2222
Compiled.mkMatchWithBuiltinListsCode (Compiled.workloadOfSize sz)
2323
]
2424
where

‎plutus-benchmark/lists/test/Sum/Spec.hs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -38,12 +38,12 @@ tests =
3838
, testProperty "Compiled left fold (data lists)" $ prop_sum Compiled.mkSumLeftDataTerm
3939
]
4040
, runTestGhc ["Sum"]
41-
[ Tx.goldenBudget "right-fold-scott" $ Compiled.mkSumRightScottCode input
42-
, Tx.goldenBudget "right-fold-built-in" $ Compiled.mkSumRightBuiltinCode input
43-
, Tx.goldenBudget "right-fold-data" $ Compiled.mkSumRightDataCode input
44-
, Tx.goldenBudget "left-fold-scott" $ Compiled.mkSumLeftScottCode input
45-
, Tx.goldenBudget "left-fold-built-in" $ Compiled.mkSumLeftBuiltinCode input
46-
, Tx.goldenBudget "left-fold-data" $ Compiled.mkSumLeftDataCode input
41+
[ Tx.goldenEvalCekCatchBudget "right-fold-scott" $ Compiled.mkSumRightScottCode input
42+
, Tx.goldenEvalCekCatchBudget "right-fold-built-in" $ Compiled.mkSumRightBuiltinCode input
43+
, Tx.goldenEvalCekCatchBudget "right-fold-data" $ Compiled.mkSumRightDataCode input
44+
, Tx.goldenEvalCekCatchBudget "left-fold-scott" $ Compiled.mkSumLeftScottCode input
45+
, Tx.goldenEvalCekCatchBudget "left-fold-built-in" $ Compiled.mkSumLeftBuiltinCode input
46+
, Tx.goldenEvalCekCatchBudget "left-fold-data" $ Compiled.mkSumLeftDataCode input
4747
]
4848
]
4949
where input = [1..100]

‎plutus-benchmark/nofib/test/Spec.hs

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -49,8 +49,7 @@ testClausify = testGroup "clausify"
4949
, testCase "formula5" $ mkClausifyTest Clausify.F5
5050
, runTestGhc
5151
[ Tx.goldenPirReadable "clausify-F5" formula5example
52-
, Tx.goldenBudget "clausify-F5" formula5example
53-
, Tx.goldenEvalCekCatch "clausify-F5" [formula5example]
52+
, Tx.goldenEvalCekCatchBudget "clausify-F5" formula5example
5453
]
5554
]
5655
where formula5example = Clausify.mkClausifyCode Clausify.F5
@@ -72,7 +71,6 @@ testKnights = testGroup "knights" -- Odd sizes call "error" because there are n
7271
, runTestGhc
7372
[ Tx.goldenPirReadable "knights10-4x4" knightsExample
7473
, Tx.goldenBudget "knights10-4x4" knightsExample
75-
, Tx.goldenEvalCekCatch "knights10-4x4" [knightsExample]
7674
]
7775
]
7876
where knightsExample = Knights.mkKnightsCode 10 4
@@ -94,7 +92,6 @@ testQueens = testGroup "queens"
9492
, runTestGhc
9593
[ Tx.goldenPirReadable "queens4-bt" queens4btExample
9694
, Tx.goldenBudget "queens4-bt" queens4btExample
97-
, Tx.goldenEvalCekCatch "queens4-bt" [queens4btExample]
9895
]
9996
]
10097
, testGroup "5x5"
@@ -106,7 +103,6 @@ testQueens = testGroup "queens"
106103
, runTestGhc
107104
[ Tx.goldenPirReadable "queens5-fc" queens5fcExample
108105
, Tx.goldenBudget "queens5-fc" queens5fcExample
109-
, Tx.goldenEvalCekCatch "queens5-fc" [queens5fcExample]
110106
]
111107
]
112108
]

‎plutus-benchmark/script-contexts/test/V1/Spec.hs

Lines changed: 12 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -51,14 +51,10 @@ testCheckSOPSc1 = testGroup "checkScriptContext1"
5151
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 1)
5252
, Tx.goldenPirReadable "checkScriptContext1" $
5353
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 1)
54-
, Tx.goldenBudget "checkScriptContext1-4" $
54+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-4" $
5555
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 4)
56-
, Tx.goldenEvalCekCatch "checkScriptContext1-4" $
57-
[SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 4)]
58-
, Tx.goldenBudget "checkScriptContext1-20" $
56+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-20" $
5957
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 20)
60-
, Tx.goldenEvalCekCatch "checkScriptContext1-20" $
61-
[SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 20)]
6258
]
6359
]
6460

@@ -72,14 +68,10 @@ testCheckDataSc1 = testGroup "checkScriptContext1"
7268
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 1)
7369
, Tx.goldenPirReadable "checkScriptContext1" $
7470
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 1)
75-
, Tx.goldenBudget "checkScriptContext1-4" $
71+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-4" $
7672
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 4)
77-
, Tx.goldenEvalCekCatch "checkScriptContext1-4" $
78-
[Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 4)]
79-
, Tx.goldenBudget "checkScriptContext1-20" $
73+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-20" $
8074
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 20)
81-
, Tx.goldenEvalCekCatch "checkScriptContext1-20" $
82-
[Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 20)]
8375
]
8476
]
8577

@@ -93,14 +85,10 @@ testCheckSOPSc2 = testGroup "checkScriptContext2"
9385
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 1)
9486
, Tx.goldenPirReadable "checkScriptContext2" $
9587
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 1)
96-
, Tx.goldenBudget "checkScriptContext2-4" $
88+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-4" $
9789
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 4)
98-
, Tx.goldenEvalCekCatch "checkScriptContext2-4" $
99-
[SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 4)]
100-
, Tx.goldenBudget "checkScriptContext2-20" $
90+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-20" $
10191
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 20)
102-
, Tx.goldenEvalCekCatch "checkScriptContext2-20" $
103-
[SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 20)]
10492
]
10593
]
10694

@@ -114,40 +102,28 @@ testCheckDataSc2 = testGroup "checkScriptContext2"
114102
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 1)
115103
, Tx.goldenPirReadable "checkScriptContext2" $
116104
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 1)
117-
, Tx.goldenBudget "checkScriptContext2-4" $
105+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-4" $
118106
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 4)
119-
, Tx.goldenEvalCekCatch "checkScriptContext2-4" $
120-
[Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 4)]
121-
, Tx.goldenBudget "checkScriptContext2-20" $
107+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-20" $
122108
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 20)
123-
, Tx.goldenEvalCekCatch "checkScriptContext2-20" $
124-
[Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 20)]
125109
]
126110
]
127111

128112
testCheckSOPScEquality :: TestTree
129113
testCheckSOPScEquality = testGroup "checkScriptContextEquality"
130-
[ runTestGhcSOP [ Tx.goldenBudget "checkScriptContextEqualityData-20" $
114+
[ runTestGhcSOP [ Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityData-20" $
131115
SOP.SC.mkScriptContextEqualityDataCode (SOP.SC.mkScriptContext 20)
132-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityData-20" $
133-
[SOP.SC.mkScriptContextEqualityDataCode (SOP.SC.mkScriptContext 20)]
134-
, Tx.goldenBudget "checkScriptContextEqualityOverhead-20" $
116+
, Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityOverhead-20" $
135117
SOP.SC.mkScriptContextEqualityOverheadCode (SOP.SC.mkScriptContext 20)
136-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityOverhead-20" $
137-
[SOP.SC.mkScriptContextEqualityOverheadCode (SOP.SC.mkScriptContext 20)]
138118
]
139119
]
140120

141121
testCheckDataScEquality :: TestTree
142122
testCheckDataScEquality = testGroup "checkScriptContextEquality"
143-
[ runTestGhcData [ Tx.goldenBudget "checkScriptContextEqualityData-20" $
123+
[ runTestGhcData [ Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityData-20" $
144124
Data.SC.mkScriptContextEqualityDataCode (Data.SC.mkScriptContext 20)
145-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityData-20" $
146-
[Data.SC.mkScriptContextEqualityDataCode (Data.SC.mkScriptContext 20)]
147-
, Tx.goldenBudget "checkScriptContextEqualityOverhead-20" $
125+
, Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityOverhead-20" $
148126
Data.SC.mkScriptContextEqualityOverheadCode (Data.SC.mkScriptContext 20)
149-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityOverhead-20" $
150-
[Data.SC.mkScriptContextEqualityOverheadCode (Data.SC.mkScriptContext 20)]
151127
]
152128
]
153129

‎plutus-benchmark/script-contexts/test/V2/Spec.hs

Lines changed: 16 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -53,16 +53,12 @@ testCheckSOPSc1 = testGroup "checkScriptContext1"
5353
compiledCodeToTerm $ SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 5)
5454
, runTestGhcSOP [ Tx.goldenSize "checkScriptContext1" $
5555
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 1)
56-
, Tx.goldenPirReadable "checkScriptContext1" $
56+
, Tx.goldenPirReadable "checkScriptContext1" $
5757
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 1)
58-
, Tx.goldenBudget "checkScriptContext1-4" $
58+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-4" $
5959
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 4)
60-
, Tx.goldenEvalCekCatch "checkScriptContext1-4" $
61-
[SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 4)]
62-
, Tx.goldenBudget "checkScriptContext1-20" $
60+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-20" $
6361
SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 20)
64-
, Tx.goldenEvalCekCatch "checkScriptContext1-20" $
65-
[SOP.SC.mkCheckScriptContext1Code (SOP.SC.mkScriptContext 20)]
6662
]
6763
]
6864

@@ -76,14 +72,10 @@ testCheckDataSc1 = testGroup "checkScriptContext1"
7672
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 1)
7773
, Tx.goldenPirReadable "checkScriptContext1" $
7874
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 1)
79-
, Tx.goldenBudget "checkScriptContext1-4" $
75+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-4" $
8076
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 4)
81-
, Tx.goldenEvalCekCatch "checkScriptContext1-4" $
82-
[Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 4)]
83-
, Tx.goldenBudget "checkScriptContext1-20" $
77+
, Tx.goldenEvalCekCatchBudget "checkScriptContext1-20" $
8478
Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 20)
85-
, Tx.goldenEvalCekCatch "checkScriptContext1-20" $
86-
[Data.SC.mkCheckScriptContext1Code (Data.SC.mkScriptContext 20)]
8779
]
8880
]
8981

@@ -97,14 +89,10 @@ testCheckSOPSc2 = testGroup "checkScriptContext2"
9789
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 1)
9890
, Tx.goldenPirReadable "checkScriptContext2" $
9991
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 1)
100-
, Tx.goldenBudget "checkScriptContext2-4" $
92+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-4" $
10193
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 4)
102-
, Tx.goldenEvalCekCatch "checkScriptContext2-4" $
103-
[SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 4)]
104-
, Tx.goldenBudget "checkScriptContext2-20" $
94+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-20" $
10595
SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 20)
106-
, Tx.goldenEvalCekCatch "checkScriptContext2-20" $
107-
[SOP.SC.mkCheckScriptContext2Code (SOP.SC.mkScriptContext 20)]
10896
]
10997
]
11098

@@ -118,50 +106,35 @@ testCheckDataSc2 = testGroup "checkScriptContext2"
118106
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 1)
119107
, Tx.goldenPirReadable "checkScriptContext2" $
120108
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 1)
121-
, Tx.goldenBudget "checkScriptContext2-4" $
109+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-4" $
122110
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 4)
123-
, Tx.goldenEvalCekCatch "checkScriptContext2-4" $
124-
[Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 4)]
125-
, Tx.goldenBudget "checkScriptContext2-20" $
111+
, Tx.goldenEvalCekCatchBudget "checkScriptContext2-20" $
126112
Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 20)
127-
, Tx.goldenEvalCekCatch "checkScriptContext2-20" $
128-
[Data.SC.mkCheckScriptContext2Code (Data.SC.mkScriptContext 20)]
129113
]
130114
]
131115

132116
testCheckSOPScEquality :: TestTree
133117
testCheckSOPScEquality = testGroup "checkScriptContextEquality"
134-
[ runTestGhcSOP [ Tx.goldenBudget "checkScriptContextEqualityData-20" $
118+
[ runTestGhcSOP [ Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityData-20" $
135119
SOP.SC.mkScriptContextEqualityDataCode (SOP.SC.mkScriptContext 20)
136-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityData-20" $
137-
[SOP.SC.mkScriptContextEqualityDataCode (SOP.SC.mkScriptContext 20)]
138-
, Tx.goldenBudget "checkScriptContextEqualityOverhead-20" $
120+
, Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityOverhead-20" $
139121
SOP.SC.mkScriptContextEqualityOverheadCode (SOP.SC.mkScriptContext 20)
140-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityOverhead-20" $
141-
[SOP.SC.mkScriptContextEqualityOverheadCode (SOP.SC.mkScriptContext 20)]
142122
]
143123
]
144124

145125
testCheckDataScEquality :: TestTree
146126
testCheckDataScEquality = testGroup "checkScriptContextEquality"
147-
[ runTestGhcData [ Tx.goldenBudget "checkScriptContextEqualityData-20" $
127+
[ runTestGhcData [ Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityData-20" $
148128
Data.SC.mkScriptContextEqualityDataCode (Data.SC.mkScriptContext 20)
149-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityData-20" $
150-
[Data.SC.mkScriptContextEqualityDataCode (Data.SC.mkScriptContext 20)]
151-
, Tx.goldenBudget "checkScriptContextEqualityOverhead-20" $
129+
, Tx.goldenEvalCekCatchBudget "checkScriptContextEqualityOverhead-20" $
152130
Data.SC.mkScriptContextEqualityOverheadCode (Data.SC.mkScriptContext 20)
153-
, Tx.goldenEvalCekCatch "checkScriptContextEqualityOverhead-20" $
154-
[Data.SC.mkScriptContextEqualityOverheadCode (Data.SC.mkScriptContext 20)]
155131
]
156132
]
157133

158134
testSOPFwdStakeTrick :: TestTree
159135
testSOPFwdStakeTrick =
160136
runTestGhcSOP
161-
[ Tx.goldenPirReadable "sopFwdStakeTrick" testAbsCode
162-
, Tx.goldenUPlcReadable "sopFwdStakeTrick" testAbsCode
163-
, Tx.goldenBudget "sopFwdStakeTrick" testCode
164-
, Tx.goldenEvalCekCatch "sopFwdStakeTrick" [testCode]
137+
[ Tx.goldenBundle' "sopFwdStakeTrick" testAbsCode
165138
]
166139
where
167140
testCredential =
@@ -176,10 +149,7 @@ testSOPFwdStakeTrick =
176149
testDataFwdStakeTrick :: TestTree
177150
testDataFwdStakeTrick =
178151
runTestGhcSOP
179-
[ Tx.goldenPirReadable "dataFwdStakeTrick" testAbsCode
180-
, Tx.goldenUPlcReadable "dataFwdStakeTrick" testAbsCode
181-
, Tx.goldenBudget "dataFwdStakeTrick" testCode
182-
, Tx.goldenEvalCekCatch "dataFwdStakeTrick" [testCode]
152+
[ Tx.goldenBundle' "dataFwdStakeTrick" testAbsCode
183153
]
184154
where
185155
testCredential =
@@ -194,10 +164,7 @@ testDataFwdStakeTrick =
194164
testDataFwdStakeTrickManual :: TestTree
195165
testDataFwdStakeTrickManual =
196166
runTestGhcSOP
197-
[ Tx.goldenPirReadable "dataFwdStakeTrickManual" testAbsCode
198-
, Tx.goldenUPlcReadable "dataFwdStakeTrickManual" testAbsCode
199-
, Tx.goldenBudget "dataFwdStakeTrickManual" testCode
200-
, Tx.goldenEvalCekCatch "dataFwdStakeTrickManual" [testCode]
167+
[ Tx.goldenBundle' "dataFwdStakeTrickManual" testAbsCode
201168
]
202169
where
203170
testCredential =

0 commit comments

Comments
 (0)