Mary era. Trace length = 45:                                    OK (12.30s)
        +++ OK, passed 30 tests.
      Allegra era. Trace length = 45:                                 OK (15.38s)
        +++ OK, passed 30 tests.
      Shelley era. Trace length = 45:                                 OK (30.63s)
        +++ OK, passed 30 tests.
    Incremental Stake invariant holds
      Babbage era. Trace length = 100:                                OK (33.13s)
        +++ OK, passed 30 tests.
      Alonzo era. Trace length = 100:                                 OK (35.47s)
        +++ OK, passed 30 tests.
      Mary era. Trace length = 100:                                   OK (30.39s)
        +++ OK, passed 30 tests.
      Allegra era. Trace length = 100:                                OK (29.15s)
        +++ OK, passed 30 tests.
      Shelley era. Trace length = 100:                                OK (61.09s)
        +++ OK, passed 30 tests.
    MockChainTrace
      Babbage era.:                                                   OK (11.56s)
        +++ OK, passed 30 tests.
      Alonzo era.:                                                    OK (10.66s)
        +++ OK, passed 30 tests.
      Mary era.:                                                      OK (13.40s)
        +++ OK, passed 30 tests.
      Allegra era.:                                                   OK (10.87s)
        +++ OK, passed 30 tests.
      Multi epoch. Ada is preserved. Babbage era. Trace length = 225: OK (62.29s)
        +++ OK, passed 30 tests:
        37% EpochNo 5
        20% EpochNo 3
        17% EpochNo 6
        13% EpochNo 1
         7% EpochNo 0
         3% EpochNo 2
         3% EpochNo 4
      Multi epoch. Ada is preserved. Shelley era. Trace length = 225: OK (135.15s)
        +++ OK, passed 30 tests:
        30% EpochNo 2
        20% EpochNo 3
        13% EpochNo 5
        13% EpochNo 6
        10% EpochNo 4
         7% EpochNo 0
         7% EpochNo 1
    Ada is preserved in each epoch
      Babbage:                                                        OK (57.68s)
        +++ OK, passed 30 tests.
      Alonzo:                                                         OK (67.16s)
        +++ OK, passed 30 tests.
      Mary:                                                           OK (88.10s)
        +++ OK, passed 30 tests.
      Allegra:                                                        OK (116.30s)
        +++ OK, passed 30 tests.
      Shelley:                                                        OK (265.27s)
        +++ OK, passed 30 tests.
    Twiddle invariant holds for TxBody
      Alonzo:                                                         OK (0.20s)
        +++ OK, passed 30 tests.
      Babbage:                                                        OK (0.31s)
        +++ OK, passed 30 tests.
  tests, aggregating Tx's over a Trace.
    UTxO size in Babbage:                                             OK (52.79s)
      +++ OK, passed 30 tests.
    UTxO size in Alonzo:                                              OK (45.02s)
      +++ OK, passed 30 tests.
    UTxO size in Mary:                                                OK (46.41s)
      +++ OK, passed 30 tests.
  STS property tests
    GOV tests
      prop_GOVCERT:                                                   OK (116.96s)
        +++ OK, passed 100 tests.
      prop_POOL:                                                      OK (35.35s)
        +++ OK, passed 100 tests.
      prop_DELEG:                                                     OK (111.38s)
        +++ OK, passed 100 tests.
      prop_ENACT:                                                     OK (22.01s)
        +++ OK, passed 100 tests.
      prop_RATIFY:                                                    OK (68.50s)
        +++ OK, passed 100 tests.
      prop_CERT:                                                      OK (201.81s)
        +++ OK, passed 100 tests.
      prop_GOV:                                                       OK (461.64s)
        +++ OK, passed 100 tests.
    prop_EPOCH:                                                       OK (497.29s)
      +++ OK, passed 100 tests.
  Tx with DRep Certs trace tests
    Testing each Tx in a Conway trace of length=100 passes applySTS.: OK (26.08s)
      +++ OK, passed 10 tests; 4 discarded.
    DRep property Debug.traces
      All Tx are valid on traces of length 150.:                      There are no stakepools to choose an issuer from, epoch=EpochNo 2, last slot=200, index of Tx=36
There are no stakepools to choose an issuer from, epoch=EpochNo 2, last slot=201, index of Tx=36
There are no stakepools to choose an issuer from, epoch=EpochNo 2, last slot=203, index of Tx=37
OK (122.30s)
        +++ OK, passed 20 tests; 34 discarded.
      Bruteforce = Pulsed, in every epoch, on traces of length 150:   There are no stakepools to choose an issuer from, epoch=EpochNo 2, last slot=201, index of Tx=37
OK (43.56s)
        +++ OK, passed 5 tests; 8 discarded.

All 214 tests passed (3293.11s)
buildPhase completed in 54 minutes 53 seconds