Skip to content

Commit 996e08b

Browse files
SeungheonOhSeungheonOh
authored
Add ScaleValue primitive (#7398)
1 parent 704692a commit 996e08b

File tree

34 files changed

+2027
-1865
lines changed

34 files changed

+2027
-1865
lines changed

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

Lines changed: 46 additions & 47 deletions
Original file line numberDiff line numberDiff line change
@@ -741,22 +741,22 @@ program
741741
(constr 3
742742
[ (constr 1
743743
[ cse
744-
, cse ]) ]))
744+
, (constr 1
745+
[ (constr 0
746+
[ (constr 0
747+
[ ])
748+
, (constr 1
749+
[ cse
750+
, (constr 1
751+
[ cse
752+
, (constr 0
753+
[ ]) ]) ]) ])
754+
, (constr 0
755+
[ ]) ]) ]) ]))
745756
(constr 3
746757
[ (constr 1
747758
[ cse
748-
, (constr 1
749-
[ (constr 0
750-
[ (constr 0
751-
[ ])
752-
, (constr 1
753-
[ cse
754-
, (constr 1
755-
[ cse
756-
, (constr 0
757-
[ ]) ]) ]) ])
758-
, (constr 0
759-
[ ]) ]) ]) ]))
759+
, cse ]) ]))
760760
(constr 1
761761
[ (constr 3
762762
[ (constr 1
@@ -795,8 +795,7 @@ program
795795
[ (constr 1
796796
[ ])
797797
, (constr 1
798-
[ (cse
799-
10)
798+
[ cse
800799
, cse ]) ]))
801800
(constr 1
802801
[ (constr 0
@@ -822,17 +821,18 @@ program
822821
, (constr 0
823822
[ ]) ]))
824823
(constr 1
825-
[ cse
824+
[ (constr 0
825+
[ (constr 0
826+
[ ])
827+
, (constr 1
828+
[ 500000000
829+
, (constr 0
830+
[ ]) ]) ])
826831
, (constr 0
827832
[ ]) ]))
828833
(constr 1
829-
[ (constr 0
830-
[ (constr 0
831-
[ ])
832-
, (constr 1
833-
[ 500000000
834-
, (constr 0
835-
[ ]) ]) ])
834+
[ (cse
835+
1)
836836
, (constr 0
837837
[ ]) ]))
838838
(constr 1
@@ -844,31 +844,30 @@ program
844844
, (constr 0
845845
[ ]) ]))
846846
(cse
847-
5))
848-
(cse
849-
10))
850-
(constr 0
851-
[ (constr 1
852-
[ ])
853-
, cse ]))
854-
(cse 100))
855-
(cse 2))
856-
(cse 1))
857-
(cse 4))
858-
(constr 0
859-
[ (constr 1 [])
860-
, (constr 1
861-
[ 1
862-
, (constr 0
863-
[]) ]) ]))
864-
(cse 1))
865-
(unsafeRatio 51))
866-
(unsafeRatio 4))
867-
(unsafeRatio 0))
868-
(unsafeRatio 3))
847+
100))
848+
(constr 0
849+
[ (constr 1
850+
[ ])
851+
, cse ]))
852+
(cse 10))
853+
(cse 4))
854+
(cse 10))
855+
(cse 5))
856+
(constr 0
857+
[ (constr 1 [])
858+
, (constr 1
859+
[ 1
860+
, (constr 0
861+
[ ]) ]) ]))
862+
(cse 1))
863+
(cse 2))
864+
(unsafeRatio 4))
865+
(unsafeRatio 1))
866+
(unsafeRatio 51))
867+
(constr 1 [0, (constr 0 [])]))
869868
(unsafeRatio 9))
870-
(constr 1 [0, (constr 0 [])]))
871-
(unsafeRatio 1))
869+
(unsafeRatio 0))
870+
(unsafeRatio 3))
872871
((\s -> s s)
873872
(\s arg ->
874873
delay

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

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

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

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

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

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

0 commit comments

Comments
 (0)