/nix/store/d6fixrvnycnbkc46dx8ljspazdzfj0vf-ouroboros-consensus-test-cardano-test-3.0.1.0-check.drv

Running phase: unpackPhase
unpacking source archive /nix/store/m8c7hgc6cdbjnrz86l0hmzw6zmjq1y43-source-test-cardano-test
source root is source-test-cardano-test
Running phase: patchPhase
Running phase: buildPhase
/nix/store/104c6dk6ia0a6p0aila9q8n0zbsgjl8h-ouroboros-consensus-test-cardano-test-3.0.1.0/bin:
patching script interpreter paths in /build/tmp.0GrEooSXGx/bin
Probing tools:
- cddlc found
Generating: ouroboros-consensus-cardano/cddl/node-to-node/blockfetch/block.cddl
Generating: ouroboros-consensus-cardano/cddl/node-to-node/chainsync/header.cddl
Generating: ouroboros-consensus-cardano/cddl/node-to-node/txsubmission2/tx.cddl
Generating: ouroboros-consensus-cardano/cddl/node-to-node/txsubmission2/txId.cddl
Generating: cardano-blueprint/src/network/node-to-node/leios-notify/messages.cddl
cardano
  Serialisation
    Cardano
      LeiosVote
        CDDL compliance:                                               FAIL
          ouroboros-consensus/src/unstable-consensus-testlib/Test/Util/Serialisation/CDDL.hs:41:
          array
          └ failed to apply required rule:
            └ ref: slot
              └ ref: base.slotno
                └ ref: base.word64
                  └ failed to apply: 
                      uint
          
          Validation failed
          
          cuddle reproducer written to /build/source-test-cardano-test/failing_cddl_tests
          Use -p '/LeiosVote.CDDL compliance/' to rerun this test only.
  Leios ThreadNet
    basic functionality:                                               FAIL (32.42s)
      *** Failed! Falsified (after 1 test):
      Seed 4242327719249505526
      [failed] propVoting
      never voted
      Use --quickcheck-replay="(SMGen 7098870657946902810 10132823505225443323,0)" to reproduce.
      Use -p '/basic functionality/' to rerun this test only.

2 out of 1465 tests failed (353.04s)