[Peras 15] State-machine tests for PerasVoteDB #1809
Merged
IOG Hydra / ci/hydra-build:x86_64-darwin.native.haskell96.checks.ouroboros-consensus:test:consensus-test
timed out
Mar 5, 2026 in 33m 31s
Build timed out
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/ry90qv4vqmi3fa5rjw61ixgwgiw0viqd-ouroboros-consensus-test-consensus-test-1.0.0.0-check.drv
Log
Running phase: unpackPhase
unpacking source archive /nix/store/lm7h0pxb2313sykjd88g2zs0rcyij7wy-4ay2f8rdgv7rxw9dgwdlvb62fq00xdc2-source
source root is 4ay2f8rdgv7rxw9dgwdlvb62fq00xdc2-source
Running phase: patchPhase
Running phase: buildPhase
/nix/store/qb15ayzjm1qnqli7ajx414z6igxp26w6-ouroboros-consensus-test-consensus-test-1.0.0.0/bin:
patching script interpreter paths in /private/tmp/nix-build-ouroboros-consensus-test-consensus-test-1.0.0.0-check.drv-0/tmp.Cgm7qsLyS6/bin
ouroboros-consensus
WallClock
delayNextSlot: OK (3.48s)
+++ OK, passed 10 tests.
delayClockShift: OK (0.34s)
+++ OK, passed 100 tests.
schedule goes back (100 in total):
79% True
21% False
schedule length (100 in total):
72% R_Gt 20
9% R_Btwn (5,10)
8% R_Btwn (10,20)
6% R_Eq 2
2% R_Eq 1
2% R_Eq 3
1% R_Btwn (4,5)
schedule skips (100 in total):
32% R_Btwn (10,20)
20% R_Btwn (5,10)
14% R_Gt 20
9% R_Eq 0
6% R_Eq 4
5% R_Eq 1
5% R_Eq 2
5% R_Eq 3
4% R_Btwn (4,5)
delayNoClockShift: OK (0.40s)
+++ OK, passed 1 test.
HeaderValidation
validateIfCheckpoint
non-checkpoints are ignored: OK
+++ OK, passed 100 tests.
checkpoint matches should be accepted: OK
+++ OK, passed 100 tests.
checkpoint mismatches should be rejected: OK
+++ OK, passed 100 tests.
BlockFetchClient
blockFetch: OK (13.77s)
+++ OK, passed 100 tests.
Narrow CSJ
CaughtUp: OK (0.11s)
+++ OK, passed 100 tests.
ChainSyncClient
chainSync: OK (0.33s)
+++ OK, passed 100 tests:
84% NoMoreIntersection
10% ForkTooDeep
2% RolledBackPastIntersection
TickArrivalTimeStats (100 in total):
19% OnlyNotEarly_SomeEarly One Many
17% OnlyNotEarly_SomeEarly One Zero
17% OnlyNotEarly_SomeEarly Zero Many
16% OnlyNotEarly_SomeEarly One One
11% OnlyNotEarly_SomeEarly Zero Zero
10% OnlyNotEarly_SomeEarly Many Zero
5% OnlyNotEarly_SomeEarly Many Many
5% OnlyNotEarly_SomeEarly Many One
LocalStateQueryServer
localStateQueryServer: OK (0.97s)
+++ OK, passed 100 tests.
Acquired (7471 in total):
54.37% Success
41.04% AcquireFailurePointNotOnChain
4.59% AcquireFailurePointTooOld
Mempool
Mempool
TxSeq
lookupByTicketNo complete: OK (0.03s)
+++ OK, passed 100 tests.
lookupByTicketNo sound: OK
+++ OK, passed 100 tests:
61% successful miss
39% successful hit
splitAfterTxSize: OK (0.02s)
+++ OK, passed 100 tests.
splitAfterTxSizeSpec: OK
+++ OK, passed 100 tests.
IOSim properties
snapshotTxs == snapshotTxsAfter zeroTicketNo: OK (0.43s)
+++ OK, passed 100 tests:
94% non-empty Mempool
77% MempoolCapacityBytesOverride
23% NoMempoolCapacityBytesOverride
6% empty Mempool
valid added txs == getTxs: OK (1.90s)
+++ OK, passed 100 tests:
95% non-empty Mempool
88% MempoolCapacityBytesOverride
12% NoMempoolCapacityBytesOverride
5% empty Mempool
addTxs [..] == forM [..] addTxs: OK (4.38s)
+++ OK, passed 100 tests:
96% non-empty Mempool
92% MempoolCapacityBytesOverride
8% NoMempoolCapacityBytesOverride
4% empty Mempool
result of addTxs: OK (4.02s)
+++ OK, passed 100 tests:
94% non-empty Mempool
91% MempoolCapacityBytesOverride
9% NoMempoolCapacityBytesOverride
6% empty Mempool
Invalid transactions are never added: OK (1.86s)
+++ OK, passed 100 tests:
95% non-empty Mempool
89% MempoolCapacityBytesOverride
11% NoMempoolCapacityBytesOverride
5% empty Mempool
removeTxs: OK (0.58s)
+++ OK, passed 100 tests:
100% non-empty Mempool
90% MempoolCapacityBytesOverride
10% NoMempoolCapacityBytesOverride
0% empty Mempool
removeTxs [..] == forM [..] removeTxs: OK (0.86s)
+++ OK, passed 100 tests:
100% non-empty Mempool
93% MempoolCapacityBytesOverride
7% NoMempoolCapacityBytesOverride
0% empty Mempool
result of getCapacity: OK (0.53s)
+++ OK, passed 100 tests:
100% MempoolCapacityBytesOverride
92% non-empty Mempool
8% empty Mempool
0% NoMempoolCapacityBytesOverride
Added valid transactions are traced: OK (1.77s)
+++ OK, passed 100 tests:
93% non-empty Mempool
91% MempoolCapacityBytesOverride
9% NoMempoolCapacityBytesOverride
7% empty Mempool
Rejected invalid txs are traced: OK (2.66s)
+++ OK, passed 100 tests:
94% non-empty Mempool
93% MempoolCapacityBytesOverride
7% NoMempoolCapacityBytesOverride
6% empty Mempool
Removed invalid txs are traced: OK (0.61s)
+++ OK, passed 100 tests:
95% Removed some transactions
95% non-empty Mempool
80% MempoolCapacityBytesOverride
20% NoMempoolCapacityBytesOverride
5% empty Mempool
idx consistency: OK (1.21s)
+++ OK, passed 100 tests:
100% MempoolCapacityBytesOverride
100% empty Mempool
0% Mempool became empty
0% NoMempoolCapacityBytesOverride
0% The last transaction in the mempool is removed
0% non-empty Mempool
Mempool timeout: OK (1.99s)
+++ OK, passed 100 tests:
94% non-empty Mempool
90% MempoolCapacityBytesOverride
10% NoMempoolCapacityBytesOverride
6% empty Mempool
6% soft-timeout for otherwise-valid tx
addTextTx expectation (555 in total):
37.1% MtcAccepted
28.5% MtcRejected
21.4% MtcDiscard
11.5% MtcDisconnect
1.4% MtcNoSpace
Mempool fairness
There is no substantial bias in added transaction sizes: OK (4.62s)
QSM
sequential: OK (152.73s)
+++ OK, passed 1000 tests.
Command sequence length (1000 in total):
31.7% [0-10)
20.6% [10-20)
14.0% [20-30)
10.8% [30-40)
8.1% [40-50)
6.0% [50-60)
3.9% [60-70)
2.3% [80-90)
2.2% [70-80)
0.4% [90-100)
Commands (2914 in total):
32.29% TryAddTxs
22.72% ChangeLedger
22.58% GetSnapshot
22.41% SyncLedger
Maximum ticket number (1000 in total):
6.7% [0-5)
1.2% [180-185)
1.2% [30-35)
1.2% [35-40)
1.0% [135-140)
1.0% [145-150)
1.0% [195-200)
1.0% [310-315)
0.9% [115-120)
0.9% [215-220)
0.9% [355-360)
0.9% [40-45)
0.9% [400-405)
0.9% [45-50)
0.9% [60-65)
0.9% [95-100)
0.8% [125-130)
0.8% [20-25)
0.8% [205-210)
0.8% [225-230)
0.8% [370-375)
0.8% [75-80)
0.8% [80-85)
0.7% [10-15)
0.7% [100-105)
0.7% [165-170)
0.7% [185-190)
0.7% [235-240)
0.7% [245-250)
0.7% [265-270)
0.7% [315-320)
0.7% [360-365)
0.7% [525-530)
0.7% [55-60)
0.7% [560-565)
0.7% [65-70)
0.7% [70-75)
0.7% [720-725)
0.7% [85-90)
0.6% [105-110)
0.6% [150-155)
0.6% [175-180)
0.6% [220-225)
0.6% [250-255)
0.6% [275-280)
0.6% [285-290)
0.6% [290-295)
0.6% [295-300)
0.6% [340-345)
0.6% [460-465)
0.6% [5-10)
0.6% [50-55)
0.6% [520-525)
0.6% [590-595)
0.6% [605-610)
0.6% [695-700)
0.6% [885-890)
0.6% [935-940)
0.5% [110-115)
0.5% [15-20)
0.5% [200-205)
0.5% [270-275)
0.5% [280-285)
0.5% [305-310)
0.5% [325-330)
0.5% [425-430)
0.5% [430-435)
0.5% [435-440)
0.5% [440-445)
0.5% [465-470)
0.5% [540-545)
0.5% [555-560)
0.5% [595-600)
0.5% [600-605)
0.5% [760-765)
0.5% [810-815)
0.5% [90-95)
0.4% [1045-1050)
0.4% [1185-1190)
0.4% [120-125)
0.4% [1320-1325)
0.4% [140-145)
0.4% [160-165)
0.4% [210-215)
0.4% [255-260)
0.4% [260-265)
0.4% [300-305)
0.4% [335-340)
0.4% [345-350)
0.4% [415-420)
0.4% [450-455)
0.4% [455-460)
0.4% [475-480)
0.4% [480-485)
0.4% [485-490)
0.4% [515-520)
0.4% [545-550)
0.4% [610-615)
0.4% [665-670)
0.4% [685-690)
0.4% [690-695)
0.4% [775-780)
0.4% [830-835)
0.4% [840-845)
0.4% [890-895)
0.4% [990-995)
0.3% [1010-1015)
0.3% [1125-1130)
0.3% [1130-1135)
0.3% [1165-1170)
0.3% [1195-1200)
0.3% [1280-1285)
0.3% [1415-1420)
0.3% [155-160)
0.3% [170-175)
0.3% [190-195)
0.3% [230-235)
0.3% [240-245)
0.3% [25-30)
0.3% [320-325)
0.3% [380-385)
0.3% [395-400)
0.3% [405-410)
0.3% [420-425)
0.3% [470-475)
0.3% [495-500)
0.3% [500-505)
0.3% [505-510)
0.3% [510-515)
0.3% [615-620)
0.3% [620-625)
0.3% [640-645)
0.3% [655-660)
0.3% [710-715)
0.3% [745-750)
0.3% [750-755)
0.3% [770-775)
0.3% [795-800)
0.3% [870-875)
0.3% [915-920)
0.3% [940-945)
0.3% [945-950)
0.3% [995-1000)
0.2% [1000-1005)
0.2% [1005-1010)
0.2% [1015-1020)
0.2% [1025-1030)
0.2% [1075-1080)
0.2% [1080-1085)
0.2% [1090-1095)
0.2% [1110-1115)
0.2% [1115-1120)
0.2% [1140-1145)
0.2% [1220-1225)
0.2% [1270-1275)
0.2% [1275-1280)
0.2% [1290-1295)
0.2% [1300-1305)
0.2% [1305-1310)
0.2% [1315-1320)
0.2% [1360-1365)
0.2% [1385-1390)
0.2% [1395-1400)
0.2% [1440-1445)
0.2% [1510-1515)
0.2% [1670-1675)
0.2% [1735-1740)
0.2% [350-355)
0.2% [375-380)
0.2% [445-450)
0.2% [530-535)
0.2% [550-555)
0.2% [565-570)
0.2% [575-580)
0.2% [625-630)
0.2% [630-635)
0.2% [660-665)
0.2% [675-680)
0.2% [700-705)
0.2% [715-720)
0.2% [725-730)
0.2% [730-735)
0.2% [735-740)
0.2% [785-790)
0.2% [805-810)
0.2% [855-860)
0.2% [860-865)
0.2% [905-910)
0.2% [950-955)
0.2% [960-965)
0.1% [1020-1025)
0.1% [1030-1035)
0.1% [1040-1045)
0.1% [1050-1055)
0.1% [1055-1060)
0.1% [1060-1065)
0.1% [1065-1070)
0.1% [1070-1075)
0.1% [1085-1090)
0.1% [1100-1105)
0.1% [1120-1125)
0.1% [1145-1150)
0.1% [1160-1165)
0.1% [1180-1185)
0.1% [1200-1205)
0.1% [1205-1210)
0.1% [1210-1215)
0.1% [1225-1230)
0.1% [1235-1240)
0.1% [1255-1260)
0.1% [1260-1265)
0.1% [130-135)
0.1% [1310-1315)
0.1% [1335-1340)
0.1% [1345-1350)
0.1% [1350-1355)
0.1% [1355-1360)
0.1% [1365-1370)
0.1% [1375-1380)
0.1% [1380-1385)
0.1% [1400-1405)
0.1% [1435-1440)
0.1% [1445-1450)
0.1% [1460-1465)
0.1% [1515-1520)
0.1% [1520-1525)
0.1% [1540-1545)
0.1% [1555-1560)
0.1% [1560-1565)
0.1% [1565-1570)
0.1% [1575-1580)
0.1% [1580-1585)
0.1% [1585-1590)
0.1% [1595-1600)
0.1% [1610-1615)
0.1% [1640-1645)
0.1% [1655-1660)
0.1% [1665-1670)
0.1% [1680-1685)
0.1% [1705-1710)
0.1% [1725-1730)
0.1% [1755-1760)
0.1% [1765-1770)
0.1% [1840-1845)
0.1% [1875-1880)
0.1% [1910-1915)
0.1% [1925-1930)
0.1% [1945-1950)
0.1% [2025-2030)
0.1% [365-370)
0.1% [385-390)
0.1% [390-395)
0.1% [580-585)
0.1% [585-590)
0.1% [635-640)
0.1% [645-650)
0.1% [650-655)
0.1% [670-675)
0.1% [680-685)
0.1% [705-710)
0.1% [740-745)
0.1% [755-760)
0.1% [780-785)
0.1% [800-805)
0.1% [815-820)
0.1% [820-825)
0.1% [845-850)
0.1% [850-855)
0.1% [875-880)
0.1% [880-885)
0.1% [895-900)
0.1% [910-915)
0.1% [920-925)
0.1% [925-930)
0.1% [930-935)
0.1% [975-980)
0.1% [985-990)
Number of txs to add (18877 in total):
10.325% [50-60)
10.266% [90-100)
10.145% [60-70)
10.055% [30-40)
9.975% [20-30)
9.917% [40-50)
9.821% [10-20)
9.758% [80-90)
9.636% [70-80)
9.112% [0-10)
0.991% [100-110)
parallel
Loading