Skip to content

Commit 33dee5f

Browse files
zliu41zliu41
authored
Add insertCoin and unionValue to DefaultFun and Plinth (#7334)
1 parent e01947b commit 33dee5f

File tree

28 files changed

+2564
-2492
lines changed

28 files changed

+2564
-2492
lines changed

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.uplc.golden‎

Lines changed: 44 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -743,19 +743,19 @@ program
743743
(constr 3
744744
[ (constr 1
745745
[ cse
746-
, (constr 1
747-
[ (constr 0
748-
[ (constr 0
749-
[ ])
750-
, (constr 1
751-
[ cse
752-
, cse ]) ])
753-
, (constr 0
754-
[ ]) ]) ]) ]))
746+
, cse ]) ]))
755747
(constr 3
756748
[ (constr 1
757749
[ cse
758-
, cse ]) ]))
750+
, (constr 1
751+
[ (constr 0
752+
[ (constr 0
753+
[ ])
754+
, (constr 1
755+
[ cse
756+
, cse ]) ])
757+
, (constr 0
758+
[ ]) ]) ]) ]))
759759
(constr 1
760760
[ (constr 3
761761
[ (constr 1
@@ -776,8 +776,7 @@ program
776776
, (constr 1
777777
[ cse
778778
, (constr 1
779-
[ (cse
780-
10)
779+
[ cse
781780
, (constr 0
782781
[ ]) ]) ]) ])
783782
, (constr 0
@@ -787,16 +786,17 @@ program
787786
[ ])
788787
, (constr 1
789788
[ cse
790-
, cse ]) ]))
789+
, (constr 1
790+
[ (cse
791+
100)
792+
, (constr 0
793+
[ ]) ]) ]) ]))
791794
(constr 0
792795
[ (constr 1
793796
[ ])
794797
, (constr 1
795798
[ cse
796-
, (constr 1
797-
[ cse
798-
, (constr 0
799-
[ ]) ]) ]) ]))
799+
, cse ]) ]))
800800
(constr 1
801801
[ (constr 0
802802
[ (constr 0
@@ -825,48 +825,48 @@ program
825825
, (constr 0
826826
[ ]) ]))
827827
(constr 1
828-
[ (constr 0
829-
[ (constr 0
830-
[ ])
831-
, (constr 1
832-
[ 500000000
833-
, (constr 0
834-
[ ]) ]) ])
828+
[ (cse
829+
4)
835830
, (constr 0
836831
[ ]) ]))
837832
(constr 1
838-
[ (cse
839-
1)
833+
[ (constr 0
834+
[ (constr 0
835+
[ ])
836+
, (constr 1
837+
[ 500000000
838+
, (constr 0
839+
[ ]) ]) ])
840840
, (constr 0
841841
[ ]) ]))
842842
(constr 1
843843
[ cse
844844
, (constr 0
845845
[ ]) ]))
846-
(constr 0
847-
[ (constr 1
848-
[ ])
849-
, cse ]))
850-
(cse 10))
846+
(cse
847+
10))
848+
(cse 5))
851849
(cse 1))
852850
(constr 0
853851
[ (constr 1
854852
[])
855-
, (constr 1
856-
[ 1
857-
, (constr 0
858-
[ ]) ]) ]))
859-
(cse 100))
853+
, cse ]))
854+
(cse 1))
860855
(cse 2))
861-
(cse 4))
862-
(cse 5))
863-
(unsafeRatio 51))
864-
(unsafeRatio 1))
865-
(unsafeRatio 3))
866-
(unsafeRatio 4))
856+
(constr 0
857+
[ (constr 1 [])
858+
, (constr 1
859+
[ 1
860+
, (constr 0
861+
[]) ]) ]))
862+
(cse 10))
863+
(unsafeRatio 1))
864+
(unsafeRatio 3))
865+
(unsafeRatio 0))
866+
(unsafeRatio 9))
867867
(constr 1 [0, (constr 0 [])]))
868-
(unsafeRatio 0))
869-
(unsafeRatio 9))
868+
(unsafeRatio 4))
869+
(unsafeRatio 51))
870870
((\s -> s s)
871871
(\s arg ->
872872
delay

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.cbor.size.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2041
1+
2036

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.large.budget.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 568927992, exBudgetMemory = ExMemory 2944491}
1+
ExBudget {exBudgetCPU = ExCPU 568831992, exBudgetMemory = ExMemory 2943891}

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.small.budget.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 58683921, exBudgetMemory = ExMemory 267719}
1+
ExBudget {exBudgetCPU = ExCPU 58587921, exBudgetMemory = ExMemory 267119}

0 commit comments

Comments
 (0)