[DO NOT MERGE] Replace PerasVote and PerasCert validation by a no-op
#2006
IOG Hydra / ci/hydra-build:x86_64-linux.required.native
failed
Apr 24, 2026 in 1m 37s
Build dependency failed
1 failed steps
Details
Failed Steps
Step 6
Derivation
/nix/store/ikh57bnrzr5yp9nz9dhkg51pglnm1yzj-ouroboros-consensus-test-consensus-infra-test-3.0.1.0-check.drv
Log
Running phase: unpackPhase
unpacking source archive /nix/store/p9r7jxlgifv4qz94s50c6zqqg499z0mq-source-test-consensus-infra-test
source root is source-test-consensus-infra-test
Running phase: patchPhase
Running phase: buildPhase
/nix/store/m59l1414fb7jpqkprxhpj4i70nmzq88x-ouroboros-consensus-test-consensus-infra-test-3.0.1.0/bin:
patching script interpreter paths in /build/tmp.vPdRauYOPv/bin
test-infra
Ouroboros.Consensus.Util
split: OK (0.02s)
+++ OK, passed 100 tests.
ChainGenerator
k+1 blocks after the intersection: OK
+++ OK, passed 100 tests.
Adversarial chains lose density and race comparisons: OK
+++ OK, passed 100 tests.
Adversarial chains win if checked with relaxed parameters: FAIL (93.94s)
*** Failed! Falsified (after 53 tests and 1 shrink):
SomeTestAdversarialMutation Proxy Proxy (TestAdversarialMutation (HonestRecipe (Kcp 5) (Scg 17) (Delta 1) (Len 39)) (UnsafeCheckedHonestRecipe {chrScgDensity = SomeDensityWindow (Count 6) (Count 17), chrWin = UnsafeContains (Count 0) (Count 39)}) (AdversarialRecipe {arHonest = ChainSchema (UnsafeContains (Count 0) (Count 39)) (Vector [S True,S False,S True,S True,S True,S True,S False,S True,S False,S False,S False,S False,S False,S False,S False,S False,S False,S True,S False,S True,S True,S True,S True,S False,S True,S False,S False,S False,S False,S True,S False,S False,S False,S False,S False,S False,S True,S True,S True]), arParams = (Kcp 5,Scg 17,Delta 1), arPrefix = Count 0}) (SomeCheckedAdversarialRecipe Proxy (UnsafeCheckedAdversarialRecipe {carHonest = ChainSchema (UnsafeContains (Count 0) (Count 39)) (Vector [S True,S False,S True,S True,S True,S True,S False,S True,S False,S False,S False,S False,S False,S False,S False,S False,S False,S True,S False,S True,S True,S True,S True,S False,S True,S False,S False,S False,S False,S True,S False,S False,S False,S False,S False,S False,S True,S True,S True]), carParams = (Kcp 5,Scg 17,Delta 1), carWin = UnsafeContains (Count 0) (Count 39)})) AdversarialMutateKcp)
-2
This test may be flaky, and its failure may not be indicative of an actual problem: see https://github.com/IntersectMBO/ouroboros-consensus/issues/1442
n = 4503749
StdGen {unStdGen = SMGen 1247037117079084954 9326202125326781345}
Count 16 - Count 0 = Count 16 vs (Kcp 5,AdversarialMutateKcp)
[ )H
101111010000000001011110100001000000111
[ )A
100100000000001111111111111111111111111
[ )no accel
Count 27
101111010000000001011110100001000000111
[ )raceH
100100000000001111111111111111111111111
[ )no accel
Use --quickcheck-replay="(SMGen 12404751607638227026 9222485386121711757,4)" to reproduce.
Use -p '/Adversarial chains win if checked with relaxed parameters/' to rerun this test only.
prop_findIthEmptyInV: OK
+++ OK, passed 100 tests; 37 discarded.
prop_fillInWindow: OK
+++ OK, passed 100 tests.
prop_withWindow: OK
+++ OK, passed 100 tests.
prop_honestChain: OK
+++ OK, passed 100 tests.
prop_honestChainMutation: OK
+++ OK, passed 100 tests.
Ouroboros.Consensus.Util.LeakyBucket
play a bit: OK
+++ OK, passed 100 tests.
play too long: OK
+++ OK, passed 100 tests.
play too long harmless: OK
+++ OK, passed 100 tests.
play with pause: OK
+++ OK, passed 100 tests.
play with pause too long: OK
+++ OK, passed 100 tests.
wait almost too long: OK
+++ OK, passed 100 tests.
wait just too long: OK
+++ OK, passed 100 tests.
propagates exceptions: OK
+++ OK, passed 100 tests.
propagates exceptions (IO): OK
+++ OK, passed 100 tests.
catch exception: OK
+++ OK, passed 100 tests.
random: OK (1.03s)
+++ OK, passed 1000 tests:
76.3% bucket finished empty
32.9% 21-50 actions
32.2% <= 10 actions
23.7% bucket finished non-empty
19.4% 11-20 actions
15.5% > 50 actions
Test.Util.ChainUpdates
genChainUpdates: OK (0.02s)
+++ OK, passed 100 tests.
Test.Util.Schedule
joinSchedule/genSchedule: OK
+++ OK, passed 100 tests.
Test.Util.Split
prop_spanLeft: OK
+++ OK, passed 100 tests.
prop_splitAtJust: OK
+++ OK, passed 100 tests.
1 out of 24 tests failed (95.05s)
Loading