IntersectMBO / cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.
Apache License 2.0
261 stars 156 forks source link

constrain-generators CI failure #4753

Closed lehins closed 1 week ago

lehins commented 1 week ago

First occurred at: https://github.com/IntersectMBO/cardano-ledger/actions/runs/11830083195/job/32964893516

Reproducer:

Failures:

  test/Constrained/Test.hs:180:9: 
  1) constrained, prop_gen_sound @BaseFn, Map Bool Int
       uncaught exception: ErrorCall
       narrowByFuelAndSize loops:
         fuel = 49
         size = 31
         specs = (MemberSpec [ -1 ],TypeSpec [-9223372036854775807..-50] [])
         narrowFoldSpecs spec = (MemberSpec [ -1 ],TypeSpec [-9223372036854775807..-50] [])
         go (narrowFoldSpecs specs) = Just (MemberSpec [ -1 ],TypeSpec [-9223372036854775807..-50] [])

       CallStack (from HasCallStack):
         error, called at src/Constrained/Base.hs:3103:7 in constrained-generators-0.2.0.0-inplace:Constrained.Base
       (after 28 tests and 11 shrinks)
         TypeSpec
           (MapSpec
              hint       = Nothing
              mustKeys   = fromList [False,True]
              mustValues = []
              size       = TrueSpec @(Integer)
              elem       = MemberSpec [ 6 elements ...] @(Bool,Int)
              fold       = FoldSpec
                             fn   = Id
                             spec = TypeSpec [..-22] [])
           []

         Simplfied spec:
           TypeSpec
             (MapSpec
                hint       = Nothing
                mustKeys   = fromList [False,True]
                mustValues = []
                size       = TrueSpec @(Integer)
                elem       = MemberSpec [ 6 elements ...] @(Bool,Int)
                fold       = FoldSpec
                               fn   = Id
                               spec = TypeSpec [..-22] [])
             []

  To rerun use: --match "/constrained/prop_gen_sound @BaseFn/Map Bool Int/" --seed 1266869102

Randomized with seed 1266869102

Finished in 483.9121 seconds
701 examples, 1 failure, 1 pending
Test suite constrained: FAIL