gt4:                                                            OK (1.43s)
      gt5:                                                            OK (0.91s)
      gt5:                                                            OK (1.42s)
      geq1:                                                           OK (0.79s)
      geq1:                                                           OK (1.28s)
      geq2:                                                           OK (1.03s)
      geq2:                                                           OK (1.33s)
      geq3:                                                           OK (0.84s)
      geq3:                                                           OK (1.28s)
      geq4:                                                           OK (1.20s)
      geq4:                                                           OK (0.84s)
      geq5:                                                           OK (0.90s)
      geq5:                                                           OK (1.45s)
      currencySymbolValueOf:                                          OK (0.80s)
      currencySymbolValueOf:                                          OK (1.26s)
  Budget
    9.6
      gt:                                                             OK (0.21s)
      currencySymbolValueOf:                                          OK (0.09s)
      gt1:                                                            OK (0.54s)
      gt1:                                                            OK (0.56s)
      gt2:                                                            OK (0.37s)
      gt2:                                                            OK (0.49s)
      gt3:                                                            OK (0.39s)
      gt3:                                                            OK (0.50s)
      gt4:                                                            OK (0.57s)
      gt4:                                                            OK (0.53s)
      gt5:                                                            OK (0.56s)
      gt5:                                                            OK (0.33s)
      geq1:                                                           OK (0.14s)
      geq1:                                                           OK (0.30s)
      geq2:                                                           OK (0.49s)
      geq2:                                                           OK (0.55s)
      geq3:                                                           OK (0.24s)
      geq3:                                                           OK (0.33s)
      geq4:                                                           OK (0.16s)
      geq4:                                                           OK (0.25s)
      geq5:                                                           OK (0.21s)
      geq5:                                                           OK (0.16s)
      currencySymbolValueOf:                                          OK (0.23s)
      currencySymbolValueOf:                                          OK (0.15s)
  Value
    9.6
      Short:                                                          OK (11.88s)
      Long:                                                           OK (12.57s)
  Plutus V1 validators may evaluate to any value
    should succeed:                                                   OK (0.70s)
    returns Bool:                                                     OK (0.51s)
    too many parameters:                                              OK (0.43s)
  Plutus V2 validators may evaluate to any value
    should succeed:                                                   OK (0.68s)
    returns Bool:                                                     OK (0.69s)
    too many parameters:                                              OK (0.63s)
  Plutus V3 validators must evaluate to BuiltinUnit
    should succeed:                                                   OK (0.59s)
    returns Bool:                                                     OK (0.60s)
    too many parameters:                                              OK (0.59s)
  MintValue
    Haskell
      Builtin data representation of MintValue and Value is the same: OK (3.82s)
        +++ OK, passed 500 tests.
      Asset class is either minted or burned:                         OK (12.98s)
        +++ OK, passed 500 tests.
      MintValue minted is positive:                                   OK (1.13s)
        +++ OK, passed 500 tests.
      MintValue burned is positive:                                   OK (0.88s)
        +++ OK, passed 500 tests.
    Plinth
      Builtin data representation of MintValue and Value is the same: OK (33.65s)
        +++ OK, passed 100 tests.
      Asset class is either minted or burned:                         OK (33.50s)
        +++ OK, passed 100 tests.
      MintValue minted is positive:                                   OK (32.54s)
        +++ OK, passed 100 tests.
      MintValue burned is positive:                                   OK (33.27s)
        +++ OK, passed 100 tests.
  Script Size
    V2 Script Size:                                                   OK
    V3 Script Size:                                                   OK (0.03s)
    V3 Script Size (lazy decoding):                                   OK (0.02s)
    V3 script evaluates correctly:                                    OK (0.11s)
    V3 (lazy) script evaluates correctly:                             OK
  Value
    9.6
      Short:                                                          OK (11.48s)
      Long:                                                           OK (28.76s)
  withCurrencySymbol
    Haskell
      Each currency symbol in a Value gets its continuation applied:  OK (1.81s)
        +++ OK, passed 500 tests.
      Correct token quantities are selected:                          OK (1.13s)
        +++ OK, passed 500 tests.
    Plinth
      Each currency symbol in a Value gets its continuation applied:  OK (31.05s)
        +++ OK, passed 100 tests.
      Correct token quantities are selected:                          OK (14.00s)
        +++ OK, passed 100 tests.

All 78 tests passed (34.05s)
buildPhase completed in 35 seconds