Effectfully/inline fix #6842
Open
Effectfully/inline fix #6842
IOG Hydra / ci/hydra-build:x86_64-linux.ghc810:checks:plutus-core:test:untyped-plutus-core-test
failed
Feb 13, 2025 in 31s
Build failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/ni40ysrrp6q8grgv568ic8wzj6r9kbfk-plutus-core-test-untyped-plutus-core-test-1.40.0.0-check.drv
Log
Last 899 lines:
found index set, lower indices clear: OK (0.42s)
✓ ffs_index passed 50 tests.
regression #6453 check: OK (1.19s)
✓ regression_6453 passed 99 tests.
makeRead
textRoundtrip: OK (0.27s)
✓ textRoundtrip passed 100 tests.
collectText
DefaultFunSemanticsVariantA: OK (0.25s)
✓ DefaultFunSemanticsVariantA passed 100 tests.
DefaultFunSemanticsVariantB: OK (0.49s)
✓ DefaultFunSemanticsVariantB passed 100 tests.
DefaultFunSemanticsVariantC: OK (1.64s)
✓ DefaultFunSemanticsVariantC passed 100 tests.
costing
magnitudes: OK
+++ OK, passed 100 tests.
distribution of the generated CostStream values: OK (0.18s)
+++ OK, passed 10000 tests:
7.25% 10000000001 - 100000000000
7.08% 1000000000001 - 10000000000000
6.78% 100000000001 - 1000000000000
6.48% 10000000000001 - 100000000000000
6.44% 1000000001 - 10000000000
6.35% 100000000000001 - 1000000000000000
5.49% 1000000000000001 - 10000000000000000
5.40% 100000001 - 1000000000
5.08% 10000001 - 100000000
4.91% 0 - 0
4.49% 10000000000000001 - 100000000000000000
4.36% 100001 - 1000000
4.32% 1000001 - 10000000
4.08% 10001 - 100000
3.91% 1 - 10
3.88% 101 - 1000
3.64% 11 - 100
3.56% 1001 - 10000
3.42% 1000000000000000001 - 9223372036854775807
3.08% 100000000000000001 - 1000000000000000000
fromCostList cancels toCostList: OK (0.07s)
+++ OK, passed 5000 tests.
toCostList cancels fromCostList: OK (0.08s)
+++ OK, passed 5000 tests.
reconsCost cancels unconsCost: OK (0.07s)
+++ OK, passed 5000 tests.
sumCostStream is sum: OK (0.09s)
+++ OK, passed 5000 tests.
mapCostStream is map: OK (1.34s)
+++ OK, passed 500 tests.
addCostStream is add: OK (0.12s)
+++ OK, passed 5000 tests.
minCostStream is min: OK (0.17s)
+++ OK, passed 5000 tests.
zipCostStream is zip: OK (0.14s)
+++ OK, passed 5000 tests.
mapCostStream: reasonable length: OK (0.16s)
+++ OK, passed 500 tests.
addCostStream: reasonable length : OK (0.14s)
+++ OK, passed 5000 tests.
minCostStream: reasonable length : OK (0.14s)
+++ OK, passed 5000 tests.
zipCostStream: reasonable length : OK (0.32s)
+++ OK, passed 5000 tests.
mapCostStream handles bottom suffixes: OK (1.19s)
+++ OK, passed 500 tests.
addCostStream handles bottom suffixes: OK (1.55s)
+++ OK, passed 5000 tests.
minCostStream handles bottom suffixes: OK (1.14s)
+++ OK, passed 5000 tests.
zipCostStream handles bottom suffixes: OK (1.52s)
+++ OK, passed 5000 tests.
flattenCostRose is linear
sierpinski rose: taking 265720 elements: OK (0.02s)
+++ OK, passed 1 test.
sierpinski rose: taking 797161 elements: OK (0.55s)
+++ OK, passed 1 test.
sierpinski rose: taking 2391484 elements: OK (2.05s)
+++ OK, passed 1 test.
distribution of list lengths in CostRose values: OK (4.19s)
+++ OK, passed 1000 tests.
n (105131 in total):
56.0282% 1
18.0432% 2
8.3639% 3
4.4440% 4
3.1218% 7
2.9154% 5
2.8869% 6
1.4648% 8
1.3069% 20 < n <= 30
0.7819% 9
0.4851% 10
0.1398% 30 < n <= 40
0.0181% 40 < n <= 50
genCostRose puts 100% of its input and nothing else into the output: OK (0.68s)
+++ OK, passed 1000 tests.
flattenCostRose puts 100% of its input and nothing else into the output: OK (4.14s)
+++ OK, passed 1000 tests.
flattenCostRose handles bottom subtrees: OK (3.79s)
+++ OK, passed 5000 tests.
costs coming from 'memoryUsage' are never negative: OK (3.71s)
+++ OK, passed 1000 tests.
Budget
Fib
1: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/1.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/1.uplc.golden","/build/1.uplc34-13.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/1.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/1.uplc34-13.actual 2025-02-13 13:40:56.104838859 +0000
@@ -1,8 +1,8 @@
( (Right 1)
, ({ tally: ({BStep BConst causes ({cpu: 48000 | mem: 300})
-| BStep BVar causes ({cpu: 144000 | mem: 900})
-| BStep BLamAbs causes ({cpu: 192000 | mem: 1200})
-| BStep BApply causes ({cpu: 240000 | mem: 1500})
+| BStep BVar causes ({cpu: 160000 | mem: 1000})
+| BStep BLamAbs causes ({cpu: 208000 | mem: 1300})
+| BStep BApply causes ({cpu: 256000 | mem: 1600})
| BStep BDelay causes ({cpu: 64000 | mem: 400})
| BStep BForce causes ({cpu: 80000 | mem: 500})
| BStep BBuiltin causes ({cpu: 32000 | mem: 200})
@@ -11,6 +11,6 @@
| BBuiltinApp LessThanEqualsInteger causes ({cpu: 43837 | mem: 1})
| BBuiltinApp IfThenElse causes ({cpu: 76049 | mem: 1})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 919986
-| mem: 5102})
+| budget: ({cpu: 967986
+| mem: 5402})
}) )
\ No newline at end of file
Use -p '/Budget.Fib.1/' to rerun this test only.
2: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/2.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/2.uplc.golden","/build/2.uplc34-14.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/2.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/2.uplc34-14.actual 2025-02-13 13:40:56.104838859 +0000
@@ -1,8 +1,8 @@
( (Right 1)
, ({ tally: ({BStep BConst causes ({cpu: 144000 | mem: 900})
-| BStep BVar causes ({cpu: 512000 | mem: 3200})
-| BStep BLamAbs causes ({cpu: 448000 | mem: 2800})
-| BStep BApply causes ({cpu: 784000 | mem: 4900})
+| BStep BVar causes ({cpu: 528000 | mem: 3300})
+| BStep BLamAbs causes ({cpu: 464000 | mem: 2900})
+| BStep BApply causes ({cpu: 800000 | mem: 5000})
| BStep BDelay causes ({cpu: 128000 | mem: 800})
| BStep BForce causes ({cpu: 176000 | mem: 1100})
| BStep BBuiltin causes ({cpu: 144000 | mem: 900})
@@ -13,6 +13,6 @@
| BBuiltinApp LessThanEqualsInteger causes ({cpu: 131511 | mem: 3})
| BBuiltinApp IfThenElse causes ({cpu: 228147 | mem: 3})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 2999382
-| mem: 14712})
+| budget: ({cpu: 3047382
+| mem: 15012})
}) )
\ No newline at end of file
Use -p '/Budget.Fib.2/' to rerun this test only.
3: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/3.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/3.uplc.golden","/build/3.uplc34-15.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/Fib/3.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/3.uplc34-15.actual 2025-02-13 13:40:56.109838814 +0000
@@ -1,8 +1,8 @@
( (Right 2)
, ({ tally: ({BStep BConst causes ({cpu: 240000 | mem: 1500})
-| BStep BVar causes ({cpu: 880000 | mem: 5500})
-| BStep BLamAbs causes ({cpu: 704000 | mem: 4400})
-| BStep BApply causes ({cpu: 1328000 | mem: 8300})
+| BStep BVar causes ({cpu: 896000 | mem: 5600})
+| BStep BLamAbs causes ({cpu: 720000 | mem: 4500})
+| BStep BApply causes ({cpu: 1344000 | mem: 8400})
| BStep BDelay causes ({cpu: 192000 | mem: 1200})
| BStep BForce causes ({cpu: 272000 | mem: 1700})
| BStep BBuiltin causes ({cpu: 256000 | mem: 1600})
@@ -13,6 +13,6 @@
| BBuiltinApp LessThanEqualsInteger causes ({cpu: 219185 | mem: 5})
| BBuiltinApp IfThenElse causes ({cpu: 380245 | mem: 5})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 5078778
-| mem: 24322})
+| budget: ({cpu: 5126778
+| mem: 24622})
}) )
\ No newline at end of file
Use -p '/Budget.Fib.3/' to rerun this test only.
IdNat
0: FAIL (0.12s)
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/0.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/0.uplc.golden","/build/0.uplc34-16.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/0.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/0.uplc34-16.actual 2025-02-13 13:40:56.228837737 +0000
@@ -43,15 +43,15 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 0 | mem: 0})
-| BStep BVar causes ({cpu: 2176000 | mem: 13600})
-| BStep BLamAbs causes ({cpu: 1472000 | mem: 9200})
-| BStep BApply causes ({cpu: 1904000 | mem: 11900})
+| BStep BVar causes ({cpu: 2192000 | mem: 13700})
+| BStep BLamAbs causes ({cpu: 1488000 | mem: 9300})
+| BStep BApply causes ({cpu: 1920000 | mem: 12000})
| BStep BDelay causes ({cpu: 576000 | mem: 3600})
| BStep BForce causes ({cpu: 400000 | mem: 2500})
| BStep BBuiltin causes ({cpu: 0 | mem: 0})
| BStep BConstr causes ({cpu: 0 | mem: 0})
| BStep BCase causes ({cpu: 0 | mem: 0})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 6528100
-| mem: 40900})
+| budget: ({cpu: 6576100
+| mem: 41200})
}) )
\ No newline at end of file
Use -p '/IdNat.0/' to rerun this test only.
3: FAIL (0.12s)
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/3.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/3.uplc.golden","/build/3.uplc34-17.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/3.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/3.uplc34-17.actual 2025-02-13 13:40:56.229837728 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 0 | mem: 0})
-| BStep BVar causes ({cpu: 2176000 | mem: 13600})
-| BStep BLamAbs causes ({cpu: 1472000 | mem: 9200})
-| BStep BApply causes ({cpu: 1952000 | mem: 12200})
+| BStep BVar causes ({cpu: 2192000 | mem: 13700})
+| BStep BLamAbs causes ({cpu: 1488000 | mem: 9300})
+| BStep BApply causes ({cpu: 1968000 | mem: 12300})
| BStep BDelay causes ({cpu: 576000 | mem: 3600})
| BStep BForce causes ({cpu: 448000 | mem: 2800})
| BStep BBuiltin causes ({cpu: 48000 | mem: 300})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp Id causes ({cpu: 0 | mem: 0})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 6672100
-| mem: 41800})
+| budget: ({cpu: 6720100
+| mem: 42100})
}) )
\ No newline at end of file
Use -p '/IdNat.3/' to rerun this test only.
6: FAIL (0.19s)
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/6.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/6.uplc.golden","/build/6.uplc34-18.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/6.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/6.uplc34-18.actual 2025-02-13 13:40:56.259837457 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 0 | mem: 0})
-| BStep BVar causes ({cpu: 2176000 | mem: 13600})
-| BStep BLamAbs causes ({cpu: 1472000 | mem: 9200})
-| BStep BApply causes ({cpu: 2000000 | mem: 12500})
+| BStep BVar causes ({cpu: 2192000 | mem: 13700})
+| BStep BLamAbs causes ({cpu: 1488000 | mem: 9300})
+| BStep BApply causes ({cpu: 2016000 | mem: 12600})
| BStep BDelay causes ({cpu: 576000 | mem: 3600})
| BStep BForce causes ({cpu: 496000 | mem: 3100})
| BStep BBuiltin causes ({cpu: 96000 | mem: 600})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp Id causes ({cpu: 0 | mem: 0})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 6816100
-| mem: 42700})
+| budget: ({cpu: 6864100
+| mem: 43000})
}) )
\ No newline at end of file
Use -p '/IdNat.6/' to rerun this test only.
9: FAIL (0.18s)
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/9.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/9.uplc.golden","/build/9.uplc34-19.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IdNat/9.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/9.uplc34-19.actual 2025-02-13 13:40:56.259837457 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 0 | mem: 0})
-| BStep BVar causes ({cpu: 2176000 | mem: 13600})
-| BStep BLamAbs causes ({cpu: 1472000 | mem: 9200})
-| BStep BApply causes ({cpu: 2048000 | mem: 12800})
+| BStep BVar causes ({cpu: 2192000 | mem: 13700})
+| BStep BLamAbs causes ({cpu: 1488000 | mem: 9300})
+| BStep BApply causes ({cpu: 2064000 | mem: 12900})
| BStep BDelay causes ({cpu: 576000 | mem: 3600})
| BStep BForce causes ({cpu: 544000 | mem: 3400})
| BStep BBuiltin causes ({cpu: 144000 | mem: 900})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp Id causes ({cpu: 0 | mem: 0})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 6960100
-| mem: 43600})
+| budget: ({cpu: 7008100
+| mem: 43900})
}) )
\ No newline at end of file
Use -p '/IdNat.9/' to rerun this test only.
IfThenElse
0: FAIL (0.02s)
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/0.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/0.uplc.golden","/build/0.uplc34-21.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/0.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/0.uplc34-21.actual 2025-02-13 13:40:56.431835901 +0000
@@ -43,15 +43,15 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 0 | mem: 0})
-| BStep BVar causes ({cpu: 2176000 | mem: 13600})
-| BStep BLamAbs causes ({cpu: 1472000 | mem: 9200})
-| BStep BApply causes ({cpu: 1904000 | mem: 11900})
+| BStep BVar causes ({cpu: 2192000 | mem: 13700})
+| BStep BLamAbs causes ({cpu: 1488000 | mem: 9300})
+| BStep BApply causes ({cpu: 1920000 | mem: 12000})
| BStep BDelay causes ({cpu: 576000 | mem: 3600})
| BStep BForce causes ({cpu: 400000 | mem: 2500})
| BStep BBuiltin causes ({cpu: 0 | mem: 0})
| BStep BConstr causes ({cpu: 0 | mem: 0})
| BStep BCase causes ({cpu: 0 | mem: 0})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 6528100
-| mem: 40900})
+| budget: ({cpu: 6576100
+| mem: 41200})
}) )
\ No newline at end of file
Use -p '/IfThenElse.0/' to rerun this test only.
1: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/1.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/1.uplc.golden","/build/1.uplc34-20.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/1.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/1.uplc34-20.actual 2025-02-13 13:40:56.420836001 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 16000 | mem: 100})
-| BStep BVar causes ({cpu: 2240000 | mem: 14000})
-| BStep BLamAbs causes ({cpu: 1632000 | mem: 10200})
-| BStep BApply causes ({cpu: 2064000 | mem: 12900})
+| BStep BVar causes ({cpu: 2272000 | mem: 14200})
+| BStep BLamAbs causes ({cpu: 1664000 | mem: 10400})
+| BStep BApply causes ({cpu: 2096000 | mem: 13100})
| BStep BDelay causes ({cpu: 656000 | mem: 4100})
| BStep BForce causes ({cpu: 480000 | mem: 3000})
| BStep BBuiltin causes ({cpu: 16000 | mem: 100})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp IfThenElse causes ({cpu: 76049 | mem: 1})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 7180149
-| mem: 44501})
+| budget: ({cpu: 7276149
+| mem: 45101})
}) )
\ No newline at end of file
Use -p '/IfThenElse.1/' to rerun this test only.
2: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/2.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/2.uplc.golden","/build/2.uplc34-22.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/2.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/2.uplc34-22.actual 2025-02-13 13:40:56.428835928 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 32000 | mem: 200})
-| BStep BVar causes ({cpu: 2256000 | mem: 14100})
-| BStep BLamAbs causes ({cpu: 1664000 | mem: 10400})
-| BStep BApply causes ({cpu: 2128000 | mem: 13300})
+| BStep BVar causes ({cpu: 2288000 | mem: 14300})
+| BStep BLamAbs causes ({cpu: 1696000 | mem: 10600})
+| BStep BApply causes ({cpu: 2160000 | mem: 13500})
| BStep BDelay causes ({cpu: 656000 | mem: 4100})
| BStep BForce causes ({cpu: 496000 | mem: 3100})
| BStep BBuiltin causes ({cpu: 32000 | mem: 200})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp IfThenElse causes ({cpu: 152098 | mem: 2})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 7416198
-| mem: 45502})
+| budget: ({cpu: 7512198
+| mem: 46102})
}) )
\ No newline at end of file
Use -p '/IfThenElse.2/' to rerun this test only.
3: FAIL (0.01s)
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/3.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/3.uplc.golden","/build/3.uplc34-23.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/3.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/3.uplc34-23.actual 2025-02-13 13:40:56.438835838 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 48000 | mem: 300})
-| BStep BVar causes ({cpu: 2272000 | mem: 14200})
-| BStep BLamAbs causes ({cpu: 1696000 | mem: 10600})
-| BStep BApply causes ({cpu: 2192000 | mem: 13700})
+| BStep BVar causes ({cpu: 2304000 | mem: 14400})
+| BStep BLamAbs causes ({cpu: 1728000 | mem: 10800})
+| BStep BApply causes ({cpu: 2224000 | mem: 13900})
| BStep BDelay causes ({cpu: 656000 | mem: 4100})
| BStep BForce causes ({cpu: 512000 | mem: 3200})
| BStep BBuiltin causes ({cpu: 48000 | mem: 300})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp IfThenElse causes ({cpu: 228147 | mem: 3})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 7652247
-| mem: 46503})
+| budget: ({cpu: 7748247
+| mem: 47103})
}) )
\ No newline at end of file
Use -p '/IfThenElse.3/' to rerun this test only.
4: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/4.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/4.uplc.golden","/build/4.uplc34-24.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/4.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/4.uplc34-24.actual 2025-02-13 13:40:56.440835820 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 64000 | mem: 400})
-| BStep BVar causes ({cpu: 2288000 | mem: 14300})
-| BStep BLamAbs causes ({cpu: 1728000 | mem: 10800})
-| BStep BApply causes ({cpu: 2256000 | mem: 14100})
+| BStep BVar causes ({cpu: 2320000 | mem: 14500})
+| BStep BLamAbs causes ({cpu: 1760000 | mem: 11000})
+| BStep BApply causes ({cpu: 2288000 | mem: 14300})
| BStep BDelay causes ({cpu: 656000 | mem: 4100})
| BStep BForce causes ({cpu: 528000 | mem: 3300})
| BStep BBuiltin causes ({cpu: 64000 | mem: 400})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp IfThenElse causes ({cpu: 304196 | mem: 4})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 7888296
-| mem: 47504})
+| budget: ({cpu: 7984296
+| mem: 48104})
}) )
\ No newline at end of file
Use -p '/IfThenElse.4/' to rerun this test only.
5: FAIL (0.01s)
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/5.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/5.uplc.golden","/build/5.uplc34-25.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Budget/IfThenElse/5.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/5.uplc34-25.actual 2025-02-13 13:40:56.446835766 +0000
@@ -43,9 +43,9 @@
f-21 ->
z-20))))))))))))))))))))))
, ({ tally: ({BStep BConst causes ({cpu: 80000 | mem: 500})
-| BStep BVar causes ({cpu: 2304000 | mem: 14400})
-| BStep BLamAbs causes ({cpu: 1760000 | mem: 11000})
-| BStep BApply causes ({cpu: 2320000 | mem: 14500})
+| BStep BVar causes ({cpu: 2336000 | mem: 14600})
+| BStep BLamAbs causes ({cpu: 1792000 | mem: 11200})
+| BStep BApply causes ({cpu: 2352000 | mem: 14700})
| BStep BDelay causes ({cpu: 656000 | mem: 4100})
| BStep BForce causes ({cpu: 544000 | mem: 3400})
| BStep BBuiltin causes ({cpu: 80000 | mem: 500})
@@ -53,6 +53,6 @@
| BStep BCase causes ({cpu: 0 | mem: 0})
| BBuiltinApp IfThenElse causes ({cpu: 380245 | mem: 5})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 8124345
-| mem: 48505})
+| budget: ({cpu: 8220345
+| mem: 49105})
}) )
\ No newline at end of file
Use -p '/IfThenElse.5/' to rerun this test only.
CaseOfCase
1: OK
2: OK
3: OK
withError: OK
Transformation doesn't evaluate error eagerly: OK
golden
CK
even2: OK (0.03s)
even3: OK
evenList: OK
polyError: OK
polyErrorInst: OK
closure: OK
ite: OK
iteUninstantiatedWithCond: OK
iteUninstantiatedFullyApplied: OK (0.07s)
iteAtInteger: OK (0.02s)
iteAtIntegerWithCond: OK
iteAtIntegerWrongCondTypeUnSat: OK
iteAtIntegerWrongCondTypeSat: OK
iteAtIntegerFullyApplied: OK
diFullyApplied: OK (0.04s)
iteAtString: OK (0.05s)
iteAtStringWithCond: OK
iteAtStringWithCondWithIntegerWithString: OK
iteAtStringFullyApplied: OK (0.10s)
iteAtIntegerArrowInteger: OK
iteAtIntegerArrowIntegerWithCond: OK
iteAtIntegerArrowIntegerApplied1: OK
iteAtIntegerArrowIntegerApplied2: OK
iteAtIntegerArrowIntegerAppliedApplied: OK
iteAtHigherKind: OK
iteAtHigherKindWithCond: OK
iteAtHigherKindFullyApplied: OK
iteAtIntegerAtInteger: OK (0.06s)
iteTypeTermType: OK
mulOK: OK
mulInstError1: OK
mulInstError2: OK
mulInstError3: OK
tag1: OK
tag2: OK
tagProd1: OK
case1: OK
case2: OK
case3: OK
case4: OK
caseProd1: OK
caseNoBranch: OK
caseNonTag: OK (0.03s)
CEK
even2: OK (0.03s)
even3: OK (0.03s)
evenList: OK
polyError: OK
polyErrorInst: OK
closure: OK
ite: OK
iteUninstantiatedWithCond: OK
iteUninstantiatedFullyApplied: OK
iteAtInteger: OK
iteAtIntegerWithCond: OK
iteAtIntegerWrongCondTypeUnSat: OK
iteAtIntegerWrongCondTypeSat: OK
iteAtIntegerFullyApplied: OK
diFullyApplied: OK (0.01s)
iteAtString: OK
iteAtStringWithCond: OK
iteAtStringWithCondWithIntegerWithString: OK
iteAtStringFullyApplied: OK (0.01s)
iteAtIntegerArrowInteger: OK
iteAtIntegerArrowIntegerWithCond: OK
iteAtIntegerArrowIntegerApplied1: OK
iteAtIntegerArrowIntegerApplied2: OK (0.01s)
iteAtIntegerArrowIntegerAppliedApplied: OK (0.01s)
iteAtHigherKind: OK
iteAtHigherKindWithCond: OK
iteAtHigherKindFullyApplied: OK (0.07s)
iteAtIntegerAtInteger: OK (0.07s)
iteTypeTermType: OK
mulOK: OK
mulInstError1: OK (0.07s)
mulInstError2: OK (0.07s)
mulInstError3: OK
tag1: OK
tag2: OK
tagProd1: OK
case1: OK
case2: OK
case3: OK
case4: OK
caseProd1: OK
caseNoBranch: OK
caseNonTag: OK
Typechecking
even2: OK (0.08s)
even3: OK (0.09s)
evenList: OK (0.56s)
polyError: OK
polyErrorInst: OK
closure: OK
ite: OK
iteUninstantiatedWithCond: OK
iteUninstantiatedFullyApplied: OK
iteAtInteger: OK
iteAtIntegerWithCond: OK
iteAtIntegerWrongCondTypeUnSat: OK
iteAtIntegerWrongCondTypeSat: OK
iteAtIntegerFullyApplied: OK
diFullyApplied: OK
iteAtString: OK
iteAtStringWithCond: OK
iteAtStringWithCondWithIntegerWithString: OK
iteAtStringFullyApplied: OK
iteAtIntegerArrowInteger: OK
iteAtIntegerArrowIntegerWithCond: OK
iteAtIntegerArrowIntegerApplied1: OK
iteAtIntegerArrowIntegerApplied2: OK
iteAtIntegerArrowIntegerAppliedApplied: OK
iteAtHigherKind: OK
iteAtHigherKindWithCond: OK
iteAtHigherKindFullyApplied: OK
iteAtIntegerAtInteger: OK
iteTypeTermType: OK (0.05s)
mulOK: OK
mulInstError1: OK (0.01s)
mulInstError2: OK
mulInstError3: OK
tag1: OK
tag2: OK
tagProd1: OK
case1: OK
case2: OK
case3: OK
case4: OK
caseProd1: OK
caseNoBranch: OK
caseNonTag: OK
Typechecking CK output
even2: OK
even3: OK
evenList: OK
polyError: OK
closure: OK
ite: OK
iteAtInteger: OK
iteAtIntegerWithCond: OK
iteAtString: OK
iteAtStringWithCond: OK
iteAtStringFullyApplied: OK
iteAtIntegerArrowInteger: OK
iteAtIntegerArrowIntegerWithCond: OK
iteAtIntegerArrowIntegerApplied1: OK
iteAtIntegerArrowIntegerAppliedApplied: OK
mulOK: OK
tag1: OK
tag2: OK
tagProd1: OK
case1: OK
case2: OK
case3: OK
case4: OK
caseProd1: OK
Tallying
Fib
1: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/1.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/1.uplc.golden","/build/1.uplc34-26.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/1.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/1.uplc34-26.actual 2025-02-13 13:40:56.781832735 +0000
@@ -1,8 +1,8 @@
( (Right 1)
, ({ tally: ({BStep BConst causes ({cpu: 48000 | mem: 300})
-| BStep BVar causes ({cpu: 144000 | mem: 900})
-| BStep BLamAbs causes ({cpu: 192000 | mem: 1200})
-| BStep BApply causes ({cpu: 240000 | mem: 1500})
+| BStep BVar causes ({cpu: 160000 | mem: 1000})
+| BStep BLamAbs causes ({cpu: 208000 | mem: 1300})
+| BStep BApply causes ({cpu: 256000 | mem: 1600})
| BStep BDelay causes ({cpu: 64000 | mem: 400})
| BStep BForce causes ({cpu: 80000 | mem: 500})
| BStep BBuiltin causes ({cpu: 32000 | mem: 200})
@@ -11,6 +11,6 @@
| BBuiltinApp LessThanEqualsInteger causes ({cpu: 43837 | mem: 1})
| BBuiltinApp IfThenElse causes ({cpu: 76049 | mem: 1})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 919986
-| mem: 5102})
+| budget: ({cpu: 967986
+| mem: 5402})
}) )
\ No newline at end of file
Use -p '/Tallying.Fib.1/' to rerun this test only.
2: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/2.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/2.uplc.golden","/build/2.uplc34-27.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/2.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/2.uplc34-27.actual 2025-02-13 13:40:56.781832735 +0000
@@ -1,8 +1,8 @@
( (Right 1)
, ({ tally: ({BStep BConst causes ({cpu: 144000 | mem: 900})
-| BStep BVar causes ({cpu: 512000 | mem: 3200})
-| BStep BLamAbs causes ({cpu: 448000 | mem: 2800})
-| BStep BApply causes ({cpu: 784000 | mem: 4900})
+| BStep BVar causes ({cpu: 528000 | mem: 3300})
+| BStep BLamAbs causes ({cpu: 464000 | mem: 2900})
+| BStep BApply causes ({cpu: 800000 | mem: 5000})
| BStep BDelay causes ({cpu: 128000 | mem: 800})
| BStep BForce causes ({cpu: 176000 | mem: 1100})
| BStep BBuiltin causes ({cpu: 144000 | mem: 900})
@@ -13,6 +13,6 @@
| BBuiltinApp LessThanEqualsInteger causes ({cpu: 131511 | mem: 3})
| BBuiltinApp IfThenElse causes ({cpu: 228147 | mem: 3})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 2999382
-| mem: 14712})
+| budget: ({cpu: 3047382
+| mem: 15012})
}) )
\ No newline at end of file
Use -p '/Tallying.Fib.2/' to rerun this test only.
3: FAIL
Test output was different from 'untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/3.uplc.golden'. Output of ["diff","-u","untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/3.uplc.golden","/build/3.uplc34-28.actual"]:
--- untyped-plutus-core/test/Evaluation/Machines/Tallying/Fib/3.uplc.golden 1970-01-01 00:00:01.000000000 +0000
+++ /build/3.uplc34-28.actual 2025-02-13 13:40:56.781832735 +0000
@@ -1,8 +1,8 @@
( (Right 2)
, ({ tally: ({BStep BConst causes ({cpu: 240000 | mem: 1500})
-| BStep BVar causes ({cpu: 880000 | mem: 5500})
-| BStep BLamAbs causes ({cpu: 704000 | mem: 4400})
-| BStep BApply causes ({cpu: 1328000 | mem: 8300})
+| BStep BVar causes ({cpu: 896000 | mem: 5600})
+| BStep BLamAbs causes ({cpu: 720000 | mem: 4500})
+| BStep BApply causes ({cpu: 1344000 | mem: 8400})
| BStep BDelay causes ({cpu: 192000 | mem: 1200})
| BStep BForce causes ({cpu: 272000 | mem: 1700})
| BStep BBuiltin causes ({cpu: 256000 | mem: 1600})
@@ -13,6 +13,6 @@
| BBuiltinApp LessThanEqualsInteger causes ({cpu: 219185 | mem: 5})
| BBuiltinApp IfThenElse causes ({cpu: 380245 | mem: 5})
| BStartup causes ({cpu: 100 | mem: 100})})
-| budget: ({cpu: 5078778
-| mem: 24322})
+| budget: ({cpu: 5126778
+| mem: 24622})
}) )
\ No newline at end of file
Use -p '/Tallying.Fib.3/' to rerun this test only.
Machines
NumberOfStepCounters: OK
NumberOfStepCounters: OK
simplify
basic: OK
nested: OK
extraDelays: OK
floatDelay1: OK
floatDelay2: OK
floatDelay3: OK
interveningLambda: OK
basicInline: OK
callsiteInline: OK
inlinePure1: OK
inlinePure2: OK
inlinePure3: OK
inlinePure4: OK
inlineImpure1: OK
inlineImpure2: OK
inlineImpure3: OK
inlineImpure4: OK
multiApp: OK
forceDelayNoApps: OK
forceDelayNoAppsLayered: OK
forceDelaySimple: OK
forceDelayMultiApply: OK
forceDelayMultiForce: OK
forceDelayComplex: OK
cse1: OK
cse2: OK
cse3: OK
cseExpensive: OK (14.18s)
DeBruijn
Golden
Default
okId0: OK
okId99: OK
okConst: OK
okDeep0: OK
okDeep99: OK
okMix1: OK (0.06s)
okMix2: OK (0.07s)
failTop: OK (0.07s)
failDeep: OK (0.02s)
failBody0: OK (0.05s)
failBody99: OK (0.11s)
failConst: OK (0.11s)
failITE: OK (0.06s)
failMix: OK
failTop0: OK
failTop1: OK
failApply01: OK
Graceful
graceTop: OK
graceDeep: OK (0.02s)
graceConst: OK (0.02s)
graceElaborate: OK (0.03s)
Scope
idFun0: OK
deepFun0: OK
deeperFun0: OK
delay0: OK
top0: OK
top1: OK
fun1var1: OK
fun0var0: OK
fun1var0: OK
const0var0: OK
const0var1: OK
ite10: OK
deepOut0: OK
deepFun1: OK
deepMix0_1: OK
deepOutMix1_0: OK
manyFree01: OK
FlatNatWord
compatible minbound: OK
compatible maxbound: OK
compatible inside bounds: OK (0.03s)
✓ <interactive> passed 100 tests.
dec outside bounds: OK (0.03s)
✓ <interactive> passed 100 tests.
oldVsNew Index: OK (0.03s)
✓ <interactive> passed 100 tests.
FreeVars
cekInternal
delay0: OK
fun0var0: OK
const0var0: OK
const0var0Discharge: OK
iteLazy0: OK
iteStrict0: OK
illITELazy: OK
illITEStrict: OK
illAdd: OK
illOverAppBuiltin: OK
illOverAppFun: OK
discharge
freeRemains1: OK
freeRemains2: OK
Parsing
Flat: OK (0.88s)
✓ Flat passed 100 tests.
Parser: OK (0.94s)
✓ parser passed 100 tests.
parser captures ending positions correctly: OK (1.07s)
✓ propTermSrcSpan passed 100 tests.
Unit: OK (0.02s)
DefaultUni: OK
debug
ex1: OK (0.01s)
ex2: OK (0.01s)
ex3: OK
ex4: OK
FlatProp
deBruijnIso: OK (0.06s)
+++ OK, passed 100 tests.
fakeIso: OK (0.06s)
+++ OK, passed 100 tests.
debruijnTripping: OK (0.06s)
+++ OK, passed 100 tests.
fakeTripping: OK
+++ OK, passed 100 tests.
binderDeBruijn: OK
+++ OK, passed 100 tests.
binderFake: OK
+++ OK, passed 100 tests.
flat encodes Data canonically: OK (11.90s)
+++ OK, passed 5000 tests.
flat encodes ByteStrings canonically: OK (0.14s)
+++ OK, passed 1000 tests.
Non-canonical bytestring encodings decode succesfully
Data via lazy bytestrings: OK (11.98s)
+++ OK, passed 5000 tests.
Arbitrary lazy bytestrings: OK (0.72s)
+++ OK, passed 10000 tests.
Explicit input 1: OK
Explicit input 2: OK
Explicit input 3: OK (0.02s)
Explicit input 4: OK
Explicit input 5: OK
Explicit input 6: OK
Explicit input 7: OK
Explicit input 8: OK
Schnorr signature verification regressions
malformed verkey should fail: OK
evalOrder
letFun: OK
letImpure: OK
evalOrderLazy: OK
names
renaming does not break scoping and global uniqueness: OK (1.24s)
✓ test_scopingGood passed 200 tests.
bad renaming
wrong renaming breaks scoping or global uniqueness: OK (0.03s)
no renaming breaks scoping or global uniqueness: OK
renaming with no marking breaks scoping or global uniqueness: OK (0.06s)
case-of-case does not break scoping and global uniqueness: OK (0.92s)
✓ test_scopingGood passed 200 tests.
case-of-known-constructor does not break scoping and global uniqueness: OK (2.24s)
✓ test_scopingGood passed 200 tests.
cse breaks scoping or global uniqueness: OK (0.44s)
float-delay does not break scoping and global uniqueness: OK (1.80s)
✓ test_scopingGood passed 200 tests.
force-delay does not break scoping and global uniqueness: OK (1.68s)
✓ test_scopingGood passed 200 tests.
inline does not break scoping and global uniqueness: OK (1.70s)
✓ test_scopingGood passed 200 tests.
Loading