matchAsData:                                 OK (0.06s)
      unsafeDeconstructData:                       OK (0.06s)
  Strictness
    9.6
      lambda-default:                              OK (0.06s)
      lambda-default:                              OK (0.06s)
      lambda-default:                              OK (0.06s)
      lambda-nonstrict:                            OK (0.07s)
      lambda-nonstrict:                            OK (0.06s)
      lambda-nonstrict:                            OK (0.07s)
      lambda-strict:                               OK (0.06s)
      lambda-strict:                               OK (0.07s)
      lambda-strict:                               OK (0.07s)
      let-default:                                 OK (0.08s)
      let-default:                                 OK (0.07s)
      let-default:                                 OK (0.07s)
      let-nonstrict:                               OK (0.07s)
      let-nonstrict:                               OK (0.07s)
      let-nonstrict:                               OK (0.07s)
      let-strict:                                  OK (0.07s)
      let-strict:                                  OK (0.07s)
      let-strict:                                  OK (0.07s)
  Blueprint
    Acme:                                          OK (0.03s)
    compiledValidator:                             OK
  Budget
    9.6
      map1:                                        OK (0.07s)
      map1:                                        OK (0.07s)
      map1:                                        OK (0.07s)
      map1-budget:                                 OK (0.07s)
      map2:                                        OK (0.08s)
      map2:                                        OK (0.08s)
      map2:                                        OK (0.07s)
      map2-budget:                                 OK (0.08s)
      map3:                                        OK (0.08s)
      map3:                                        OK (0.08s)
      map3:                                        OK (0.07s)
      map3-budget:                                 OK (0.07s)
  ShortCircuiting operators
    (&&) short-circuits with GHC optimisations:    OK
    (||) short-circuits with GHC optimisations:    OK
    (&&) short-circuits without GHC optimisations: OK
    (||) short-circuits without GHC optimisations: OK
  Unicode
    Unicode characters are supported:              OK
  Map property tests
    safeFromList:                                  OK (0.11s)
        ✓ <interactive> passed 100 tests.
    unsafeFromList:                                OK (0.09s)
        ✓ <interactive> passed 100 tests.
    lookup:                                        OK (5.80s)
        ✓ <interactive> passed 100 tests.
    member:                                        OK (5.08s)
        ✓ <interactive> passed 100 tests.
    insert:                                        OK (9.63s)
        ✓ <interactive> passed 100 tests.
    all:                                           OK (5.49s)
        ✓ <interactive> passed 100 tests.
    any:                                           OK (1.79s)
        ✓ <interactive> passed 100 tests.
    keys:                                          OK (4.54s)
        ✓ <interactive> passed 100 tests.
    noDuplicateKeys:                               OK (1.56s)
        ✓ <interactive> passed 100 tests.
    delete:                                        OK (9.32s)
        ✓ <interactive> passed 100 tests.
    union:                                         OK (13.14s)
        ✓ <interactive> passed 100 tests.
    unionWith:                                     OK (12.83s)
        ✓ <interactive> passed 100 tests.
    builtinDataEncoding:                           OK (19.93s)
        ✓ <interactive> passed 100 tests.
  List property tests
    areInverses:                                   OK (0.02s)
        ✓ <interactive> passed 100 tests.
    toSOP:                                         OK (2.43s)
        ✓ <interactive> passed 100 tests.
    fromSOP:                                       OK (2.23s)
        ✓ <interactive> passed 100 tests.
    append:                                        OK (5.90s)
        ✓ <interactive> passed 100 tests.
    find:                                          OK (3.78s)
        ✓ <interactive> passed 100 tests.
    findIndices:                                   OK (4.42s)
        ✓ <interactive> passed 100 tests.
    filter:                                        OK (4.44s)
        ✓ <interactive> passed 100 tests.
    mapMaybe:                                      OK (4.13s)
        ✓ <interactive> passed 100 tests.
    any:                                           OK (4.40s)
        ✓ <interactive> passed 100 tests.
    foldMap:                                       OK (5.18s)
        ✓ <interactive> passed 100 tests.
    map:                                           OK (3.99s)
        ✓ <interactive> passed 100 tests.
    length:                                        OK (2.75s)
        ✓ <interactive> passed 100 tests.

All 556 tests passed (20.42s)