Skip to content

Commit 5f99156

Browse files
effectfullyeffectfully
committed
[AST] Add 'Fix'
1 parent 038714a commit 5f99156

File tree

456 files changed

+1272
-1740
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

456 files changed

+1272
-1740
lines changed

‎plutus-benchmark/bitwise/test/9.6/8 queens.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 409142294016
2-
| mem: 1575213647})
1+
({cpu: 410655782016
2+
| mem: 1584672947})

‎plutus-benchmark/bitwise/test/9.6/8 queens.size.golden

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
397
1+
390

‎plutus-benchmark/bitwise/test/9.6/Ed25519.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 2137054479882
2-
| mem: 7088444574})
1+
({cpu: 2095692303882
2+
| mem: 6829930974})

‎plutus-benchmark/bitwise/test/9.6/Ed25519.size.golden

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
3417
1+
3410

‎plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden

Lines changed: 67 additions & 67 deletions
Original file line numberDiff line numberDiff line change
@@ -2,88 +2,88 @@ Hash n bytestrings onto G1 and add points
22

33
n Script size CPU usage Memory usage
44
----------------------------------------------------------------------
5-
0 115 (0.7%) 53556222 (0.5%) 3918 (0.0%)
6-
10 224 (1.4%) 593877682 (5.9%) 37278 (0.3%)
7-
20 334 (2.0%) 1134199142 (11.3%) 70638 (0.5%)
8-
30 444 (2.7%) 1674520602 (16.7%) 103998 (0.7%)
9-
40 554 (3.4%) 2214842062 (22.1%) 137358 (1.0%)
10-
50 664 (4.1%) 2755163522 (27.6%) 170718 (1.2%)
11-
60 774 (4.7%) 3295484982 (33.0%) 204078 (1.5%)
12-
70 884 (5.4%) 3835806442 (38.4%) 237438 (1.7%)
13-
80 994 (6.1%) 4376127902 (43.8%) 270798 (1.9%)
14-
90 1104 (6.7%) 4916449362 (49.2%) 304158 (2.2%)
15-
100 1214 (7.4%) 5456770822 (54.6%) 337518 (2.4%)
16-
110 1324 (8.1%) 5997092282 (60.0%) 370878 (2.6%)
17-
120 1434 (8.8%) 6537413742 (65.4%) 404238 (2.9%)
18-
130 1544 (9.4%) 7077735202 (70.8%) 437598 (3.1%)
19-
140 1654 (10.1%) 7618056662 (76.2%) 470958 (3.4%)
20-
150 1764 (10.8%) 8158378122 (81.6%) 504318 (3.6%)
5+
0 109 (0.7%) 53460222 (0.5%) 3318 (0.0%)
6+
10 218 (1.3%) 593301682 (5.9%) 33678 (0.2%)
7+
20 328 (2.0%) 1133143142 (11.3%) 64038 (0.5%)
8+
30 438 (2.7%) 1672984602 (16.7%) 94398 (0.7%)
9+
40 548 (3.3%) 2212826062 (22.1%) 124758 (0.9%)
10+
50 658 (4.0%) 2752667522 (27.5%) 155118 (1.1%)
11+
60 768 (4.7%) 3292508982 (32.9%) 185478 (1.3%)
12+
70 878 (5.4%) 3832350442 (38.3%) 215838 (1.5%)
13+
80 988 (6.0%) 4372191902 (43.7%) 246198 (1.8%)
14+
90 1098 (6.7%) 4912033362 (49.1%) 276558 (2.0%)
15+
100 1208 (7.4%) 5451874822 (54.5%) 306918 (2.2%)
16+
110 1318 (8.0%) 5991716282 (59.9%) 337278 (2.4%)
17+
120 1428 (8.7%) 6531557742 (65.3%) 367638 (2.6%)
18+
130 1538 (9.4%) 7071399202 (70.7%) 397998 (2.8%)
19+
140 1648 (10.1%) 7611240662 (76.1%) 428358 (3.1%)
20+
150 1758 (10.7%) 8151082122 (81.5%) 458718 (3.3%)
2121

2222

2323
Hash n bytestrings onto G2 and add points
2424

2525
n Script size CPU usage Memory usage
2626
----------------------------------------------------------------------
27-
0 163 (1.0%) 75306572 (0.8%) 3936 (0.0%)
28-
10 272 (1.7%) 1769766432 (17.7%) 37656 (0.3%)
29-
20 382 (2.3%) 3464226292 (34.6%) 71376 (0.5%)
30-
30 492 (3.0%) 5158686152 (51.6%) 105096 (0.8%)
31-
40 602 (3.7%) 6853146012 (68.5%) 138816 (1.0%)
32-
50 712 (4.3%) 8547605872 (85.5%) 172536 (1.2%)
33-
60 822 (5.0%) 10242065732 (102.4%) 206256 (1.5%)
34-
70 932 (5.7%) 11936525592 (119.4%) 239976 (1.7%)
35-
80 1042 (6.4%) 13630985452 (136.3%) 273696 (2.0%)
36-
90 1152 (7.0%) 15325445312 (153.3%) 307416 (2.2%)
37-
100 1262 (7.7%) 17019905172 (170.2%) 341136 (2.4%)
38-
110 1372 (8.4%) 18714365032 (187.1%) 374856 (2.7%)
39-
120 1482 (9.0%) 20408824892 (204.1%) 408576 (2.9%)
40-
130 1592 (9.7%) 22103284752 (221.0%) 442296 (3.2%)
41-
140 1702 (10.4%) 23797744612 (238.0%) 476016 (3.4%)
42-
150 1812 (11.1%) 25492204472 (254.9%) 509736 (3.6%)
27+
0 157 (1.0%) 75210572 (0.8%) 3336 (0.0%)
28+
10 266 (1.6%) 1769190432 (17.7%) 34056 (0.2%)
29+
20 376 (2.3%) 3463170292 (34.6%) 64776 (0.5%)
30+
30 486 (3.0%) 5157150152 (51.6%) 95496 (0.7%)
31+
40 596 (3.6%) 6851130012 (68.5%) 126216 (0.9%)
32+
50 706 (4.3%) 8545109872 (85.5%) 156936 (1.1%)
33+
60 816 (5.0%) 10239089732 (102.4%) 187656 (1.3%)
34+
70 926 (5.7%) 11933069592 (119.3%) 218376 (1.6%)
35+
80 1036 (6.3%) 13627049452 (136.3%) 249096 (1.8%)
36+
90 1146 (7.0%) 15321029312 (153.2%) 279816 (2.0%)
37+
100 1256 (7.7%) 17015009172 (170.2%) 310536 (2.2%)
38+
110 1366 (8.3%) 18708989032 (187.1%) 341256 (2.4%)
39+
120 1476 (9.0%) 20402968892 (204.0%) 371976 (2.7%)
40+
130 1586 (9.7%) 22096948752 (221.0%) 402696 (2.9%)
41+
140 1696 (10.4%) 23790928612 (237.9%) 433416 (3.1%)
42+
150 1806 (11.0%) 25484908472 (254.8%) 464136 (3.3%)
4343

4444

4545
Uncompress n G1 points and add the results
4646

4747
n Script size CPU usage Memory usage
4848
----------------------------------------------------------------------
49-
0 112 (0.7%) 53556222 (0.5%) 3918 (0.0%)
50-
10 661 (4.0%) 597620792 (6.0%) 35278 (0.3%)
51-
20 1211 (7.4%) 1141685362 (11.4%) 66638 (0.5%)
52-
30 1761 (10.7%) 1685749932 (16.9%) 97998 (0.7%)
53-
40 2311 (14.1%) 2229814502 (22.3%) 129358 (0.9%)
54-
50 2861 (17.5%) 2773879072 (27.7%) 160718 (1.1%)
55-
60 3411 (20.8%) 3317943642 (33.2%) 192078 (1.4%)
56-
70 3961 (24.2%) 3862008212 (38.6%) 223438 (1.6%)
57-
80 4511 (27.5%) 4406072782 (44.1%) 254798 (1.8%)
58-
90 5061 (30.9%) 4950137352 (49.5%) 286158 (2.0%)
59-
100 5611 (34.2%) 5494201922 (54.9%) 317518 (2.3%)
60-
110 6161 (37.6%) 6038266492 (60.4%) 348878 (2.5%)
61-
120 6711 (41.0%) 6582331062 (65.8%) 380238 (2.7%)
62-
130 7261 (44.3%) 7126395632 (71.3%) 411598 (2.9%)
63-
140 7811 (47.7%) 7670460202 (76.7%) 442958 (3.2%)
64-
150 8361 (51.0%) 8214524772 (82.1%) 474318 (3.4%)
49+
0 105 (0.6%) 53460222 (0.5%) 3318 (0.0%)
50+
10 655 (4.0%) 597044792 (6.0%) 31678 (0.2%)
51+
20 1205 (7.4%) 1140629362 (11.4%) 60038 (0.4%)
52+
30 1755 (10.7%) 1684213932 (16.8%) 88398 (0.6%)
53+
40 2305 (14.1%) 2227798502 (22.3%) 116758 (0.8%)
54+
50 2855 (17.4%) 2771383072 (27.7%) 145118 (1.0%)
55+
60 3405 (20.8%) 3314967642 (33.1%) 173478 (1.2%)
56+
70 3955 (24.1%) 3858552212 (38.6%) 201838 (1.4%)
57+
80 4505 (27.5%) 4402136782 (44.0%) 230198 (1.6%)
58+
90 5055 (30.9%) 4945721352 (49.5%) 258558 (1.8%)
59+
100 5605 (34.2%) 5489305922 (54.9%) 286918 (2.0%)
60+
110 6155 (37.6%) 6032890492 (60.3%) 315278 (2.3%)
61+
120 6705 (40.9%) 6576475062 (65.8%) 343638 (2.5%)
62+
130 7255 (44.3%) 7120059632 (71.2%) 371998 (2.7%)
63+
140 7805 (47.6%) 7663644202 (76.6%) 400358 (2.9%)
64+
150 8355 (51.0%) 8207228772 (82.1%) 428718 (3.1%)
6565

6666

6767
Uncompress n G2 points and add the results
6868

6969
n Script size CPU usage Memory usage
7070
----------------------------------------------------------------------
71-
0 160 (1.0%) 75306572 (0.8%) 3936 (0.0%)
72-
10 1189 (7.3%) 847209652 (8.5%) 35656 (0.3%)
73-
20 2219 (13.5%) 1619112732 (16.2%) 67376 (0.5%)
74-
30 3249 (19.8%) 2391015812 (23.9%) 99096 (0.7%)
75-
40 4279 (26.1%) 3162918892 (31.6%) 130816 (0.9%)
76-
50 5309 (32.4%) 3934821972 (39.3%) 162536 (1.2%)
77-
60 6339 (38.7%) 4706725052 (47.1%) 194256 (1.4%)
78-
70 7369 (45.0%) 5478628132 (54.8%) 225976 (1.6%)
79-
80 8399 (51.3%) 6250531212 (62.5%) 257696 (1.8%)
80-
90 9429 (57.6%) 7022434292 (70.2%) 289416 (2.1%)
81-
100 10459 (63.8%) 7794337372 (77.9%) 321136 (2.3%)
82-
110 11489 (70.1%) 8566240452 (85.7%) 352856 (2.5%)
83-
120 12519 (76.4%) 9338143532 (93.4%) 384576 (2.7%)
84-
130 13549 (82.7%) 10110046612 (101.1%) 416296 (3.0%)
85-
140 14579 (89.0%) 10881949692 (108.8%) 448016 (3.2%)
86-
150 15609 (95.3%) 11653852772 (116.5%) 479736 (3.4%)
71+
0 153 (0.9%) 75210572 (0.8%) 3336 (0.0%)
72+
10 1183 (7.2%) 846633652 (8.5%) 32056 (0.2%)
73+
20 2213 (13.5%) 1618056732 (16.2%) 60776 (0.4%)
74+
30 3243 (19.8%) 2389479812 (23.9%) 89496 (0.6%)
75+
40 4273 (26.1%) 3160902892 (31.6%) 118216 (0.8%)
76+
50 5303 (32.4%) 3932325972 (39.3%) 146936 (1.0%)
77+
60 6333 (38.7%) 4703749052 (47.0%) 175656 (1.3%)
78+
70 7363 (44.9%) 5475172132 (54.8%) 204376 (1.5%)
79+
80 8393 (51.2%) 6246595212 (62.5%) 233096 (1.7%)
80+
90 9423 (57.5%) 7018018292 (70.2%) 261816 (1.9%)
81+
100 10453 (63.8%) 7789441372 (77.9%) 290536 (2.1%)
82+
110 11483 (70.1%) 8560864452 (85.6%) 319256 (2.3%)
83+
120 12513 (76.4%) 9332287532 (93.3%) 347976 (2.5%)
84+
130 13543 (82.7%) 10103710612 (101.0%) 376696 (2.7%)
85+
140 14573 (88.9%) 10875133692 (108.8%) 405416 (2.9%)
86+
150 15603 (95.2%) 11646556772 (116.5%) 434136 (3.1%)
8787

8888

8989
Apply pairing to two pairs of points in G1 x G2 and run finalVerify on the results
@@ -103,7 +103,7 @@ VRF example
103103

104104
n Script size CPU usage Memory usage
105105
----------------------------------------------------------------------
106-
- 714 (4.4%) 1220805236 (12.2%) 48149 (0.3%)
106+
- 708 (4.3%) 1220133236 (12.2%) 43949 (0.3%)
107107

108108
G1 Verify
109109

@@ -121,13 +121,13 @@ Aggregate Single Key
121121

122122
n Script size CPU usage Memory usage
123123
----------------------------------------------------------------------
124-
- 777 (4.7%) 2720886359 (27.2%) 70002 (0.5%)
124+
- 771 (4.7%) 2719878359 (27.2%) 63702 (0.5%)
125125

126126
Aggregate Multi Key
127127

128128
n Script size CPU usage Memory usage
129129
----------------------------------------------------------------------
130-
- 1705 (10.4%) 3446371236 (34.5%) 422386 (3.0%)
130+
- 1698 (10.4%) 3439411236 (34.4%) 378886 (2.7%)
131131

132132
Schnorr Signature G1
133133

‎plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,20 @@
11
n Script size CPU usage Memory usage
22
----------------------------------------------------------------------
3-
0 458 (2.8%) 5130441 (0.1%) 25722 (0.2%)
4-
10 2185 (13.3%) 646555741 (6.5%) 514552 (3.7%)
5-
20 3912 (23.9%) 1287981041 (12.9%) 1003382 (7.2%)
6-
30 5639 (34.4%) 1929406341 (19.3%) 1492212 (10.7%)
7-
40 7366 (45.0%) 2570831641 (25.7%) 1981042 (14.2%)
8-
50 9092 (55.5%) 3212256941 (32.1%) 2469872 (17.6%)
9-
60 10819 (66.0%) 3853682241 (38.5%) 2958702 (21.1%)
10-
70 12546 (76.6%) 4495107541 (45.0%) 3447532 (24.6%)
11-
80 14272 (87.1%) 5136532841 (51.4%) 3936362 (28.1%)
12-
90 15999 (97.7%) 5777958141 (57.8%) 4425192 (31.6%)
13-
100 17726 (108.2%) 6419383441 (64.2%) 4914022 (35.1%)
14-
110 19453 (118.7%) 7060808741 (70.6%) 5402852 (38.6%)
15-
120 21179 (129.3%) 7702234041 (77.0%) 5891682 (42.1%)
16-
130 22906 (139.8%) 8343659341 (83.4%) 6380512 (45.6%)
17-
140 24633 (150.3%) 8985084641 (89.9%) 6869342 (49.1%)
18-
150 26360 (160.9%) 9626509941 (96.3%) 7358172 (52.6%)
3+
0 451 (2.8%) 5034441 (0.1%) 25122 (0.2%)
4+
10 2178 (13.3%) 645499741 (6.5%) 507952 (3.6%)
5+
20 3905 (23.8%) 1285965041 (12.9%) 990782 (7.1%)
6+
30 5632 (34.4%) 1926430341 (19.3%) 1473612 (10.5%)
7+
40 7359 (44.9%) 2566895641 (25.7%) 1956442 (14.0%)
8+
50 9085 (55.5%) 3207360941 (32.1%) 2439272 (17.4%)
9+
60 10812 (66.0%) 3847826241 (38.5%) 2922102 (20.9%)
10+
70 12539 (76.5%) 4488291541 (44.9%) 3404932 (24.3%)
11+
80 14265 (87.1%) 5128756841 (51.3%) 3887762 (27.8%)
12+
90 15992 (97.6%) 5769222141 (57.7%) 4370592 (31.2%)
13+
100 17719 (108.1%) 6409687441 (64.1%) 4853422 (34.7%)
14+
110 19446 (118.7%) 7050152741 (70.5%) 5336252 (38.1%)
15+
120 21172 (129.2%) 7690618041 (76.9%) 5819082 (41.6%)
16+
130 22899 (139.8%) 8331083341 (83.3%) 6301912 (45.0%)
17+
140 24626 (150.3%) 8971548641 (89.7%) 6784742 (48.5%)
18+
150 26353 (160.8%) 9612013941 (96.1%) 7267572 (51.9%)
1919

2020
Off-chain version succeeded on 100 inputs

‎plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-10.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 197510904
2-
| mem: 846852})
1+
({cpu: 193142904
2+
| mem: 819552})

‎plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-100.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 16499812194
2-
| mem: 70488132})
1+
({cpu: 16024564194
2+
| mem: 67517832})

‎plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-5.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 59141074
2-
| mem: 255392})
1+
({cpu: 58133074
2+
| mem: 249092})

‎plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-50.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 4212184144
2-
| mem: 17998532})
1+
({cpu: 4094536144
2+
| mem: 17263232})

‎plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-10.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 117905780
2-
| mem: 564480})
1+
({cpu: 113537780
2+
| mem: 537180})

‎plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-100.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 8992550900
2-
| mem: 41599800})
1+
({cpu: 8517302900
2+
| mem: 38629500})

‎plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-5.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 37925190
2-
| mem: 186640})
1+
({cpu: 36917190
2+
| mem: 180340})

‎plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-50.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 2323012500
2-
| mem: 10794400})
1+
({cpu: 2205364500
2+
| mem: 10059100})

‎plutus-benchmark/lists/test/Sum/9.6/left-fold-built-in.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 122258594
2-
| mem: 523832})
1+
({cpu: 117362594
2+
| mem: 493232})

‎plutus-benchmark/lists/test/Sum/9.6/left-fold-data.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 316399632
2-
| mem: 1277230})
1+
({cpu: 311503632
2+
| mem: 1246630})

‎plutus-benchmark/lists/test/Sum/9.6/left-fold-scott.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 82856900
2-
| mem: 454900})
1+
({cpu: 77960900
2+
| mem: 424300})

‎plutus-benchmark/lists/test/Sum/9.6/right-fold-built-in.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 127058594
2-
| mem: 553832})
1+
({cpu: 122162594
2+
| mem: 523232})

‎plutus-benchmark/lists/test/Sum/9.6/right-fold-data.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 321199632
2-
| mem: 1307230})
1+
({cpu: 316303632
2+
| mem: 1276630})

‎plutus-benchmark/lists/test/Sum/9.6/right-fold-scott.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 87656900
2-
| mem: 484900})
1+
({cpu: 82760900
2+
| mem: 454300})

‎plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 203554074
2-
| mem: 988490})
1+
({cpu: 198178074
2+
| mem: 954890})

‎plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 296248136
2-
| mem: 1507304})
1+
({cpu: 287224136
2+
| mem: 1450904})

‎plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 218828188
2-
| mem: 1072854})
1+
({cpu: 212492188
2+
| mem: 1033254})

‎plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 177375938
2-
| mem: 850422})
1+
({cpu: 172383938
2+
| mem: 819222})

‎plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 199201946
2-
| mem: 960932})
1+
({cpu: 193537946
2+
| mem: 925532})

‎plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 185596754
2-
| mem: 887072})
1+
({cpu: 180892754
2+
| mem: 857672})

‎plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 184435055
2-
| mem: 880470})
1+
({cpu: 179779055
2+
| mem: 851370})

‎plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 231014344
2-
| mem: 1131576})
1+
({cpu: 224198344
2+
| mem: 1088976})

‎plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
({cpu: 214343877
2-
| mem: 1046444})
1+
({cpu: 208247877
2+
| mem: 1008344})

0 commit comments

Comments
 (0)