case is not available with v1.0.0 ever:                         OK
        rmdr
          remdr:                                                          OK
          remdr1gen:                                                      OK
            +++ OK, passed 100 tests.
          remdr2gen:                                                      OK (0.03s)
            +++ OK, passed 100 tests.
          remdr1genc:                                                     OK
            +++ OK, passed 100 tests.
          remdr2genc:                                                     OK
            +++ OK, passed 100 tests.
      Params
        costModelParams
          length:                                                         OK
          tripping paramname:                                             OK (0.03s)
          context length:                                                 OK (0.38s)
          cost model parameters:                                          OK
          costModelParamNames:                                            OK
            Golden file did not exist; created
      context decoding
        v1context:                                                        OK
      Value
        laws:                                                             OK (3.44s)
          +++ OK, passed 500 tests; 9 discarded.
        updateSomeTokenValues:                                            OK (2.76s)
          +++ OK, passed 1500 tests; 157 discarded.
        updateSomeTokenNames:                                             OK (2.36s)
          +++ OK, passed 1500 tests; 172 discarded.
        shuffle:                                                          OK (3.54s)
          +++ OK, passed 1000 tests.
        split:                                                            OK (2.30s)
          +++ OK, passed 700 tests.
    Data
      eval
        v1-api
          delay0:                                                         OK (0.03s)
          fun0var0:                                                       OK
          const0var0:                                                     OK
          iteLazy0:                                                       OK
          iteStrict0:                                                     OK
        EvaluationContext has machine parameters for all protocol versions
          PlutusV1:                                                       OK (0.33s)
          PlutusV2:                                                       OK (0.35s)
          PlutusV3:                                                       OK (0.19s)
        NoThunks in EvaluationContext
          PlutusV1:                                                       OK (0.29s)
          PlutusV2:                                                       OK (0.32s)
          PlutusV3:                                                       OK (0.26s)
      versions
        ledger languages
          v1 not before but after:                                        OK (0.01s)
            +++ OK, passed 100 tests.
          v2 not before but after:                                        OK
            +++ OK, passed 100 tests.
          v3 not before but after:                                        OK
            +++ OK, passed 100 tests.
          protocol-versions can add but not remove ledger languages:      OK
            +++ OK, passed 100 tests; 95 discarded.
        builtins
          all builtins are available some time:                           OK
          builtins aren't available before Alonzo:                        OK
          serializeData is only available in l2,Vasil and after:          OK
          bls,keccak256,blake2b224 only available in l3,Future and after: OK
        Plutus Core language versions
          v1.1.0 is available in l3,future and not before:                OK
          constr is not available with v1.0.0 ever:                       OK
          case is not available with v1.0.0 ever:                         OK
        rmdr
          remdr:                                                          OK
          remdr1gen:                                                      OK
            +++ OK, passed 100 tests.
          remdr2gen:                                                      OK (0.02s)
            +++ OK, passed 100 tests.
          remdr1genc:                                                     OK (0.02s)
            +++ OK, passed 100 tests.
          remdr2genc:                                                     OK (0.04s)
            +++ OK, passed 100 tests.
      Params
        costModelParams
          length:                                                         OK (0.07s)
          tripping paramname:                                             OK (0.08s)
          context length:                                                 OK (0.32s)
          cost model parameters:                                          OK (0.04s)
          costModelParamNames:                                            OK (0.03s)
            Golden file did not exist; created
      context decoding
        v1context:                                                        OK (0.03s)
      Value
        laws:                                                             OK (7.76s)
          +++ OK, passed 500 tests; 5 discarded.
        updateSomeTokenValues:                                            OK (5.83s)
          +++ OK, passed 1500 tests; 157 discarded.
        updateSomeTokenNames:                                             OK (6.44s)
          +++ OK, passed 1500 tests; 169 discarded.
        shuffle:                                                          OK (4.21s)
          +++ OK, passed 1000 tests.
        split:                                                            OK (4.32s)
          +++ OK, passed 700 tests.

All 136 tests passed (7.94s)