gt4:                                                            OK (0.11s)
      gt4:                                                            OK (0.09s)
      gt5:                                                            OK (0.10s)
      gt5:                                                            OK (0.10s)
      geq1:                                                           OK (0.09s)
      geq1:                                                           OK (0.09s)
      geq2:                                                           OK (0.11s)
      geq2:                                                           OK (0.13s)
      geq3:                                                           OK (0.13s)
      geq3:                                                           OK (0.12s)
      geq4:                                                           OK (0.08s)
      geq4:                                                           OK (0.08s)
      geq5:                                                           OK (0.10s)
      geq5:                                                           OK (0.09s)
      currencySymbolValueOf:                                          OK (0.14s)
      currencySymbolValueOf:                                          OK (0.12s)
  Budget
    9.6
      gt:                                                             OK (0.04s)
      currencySymbolValueOf:                                          OK
      gt1:                                                            OK (0.06s)
      gt1:                                                            OK (0.04s)
      gt2:                                                            OK (0.05s)
      gt2:                                                            OK (0.05s)
      gt3:                                                            OK (0.07s)
      gt3:                                                            OK (0.07s)
      gt4:                                                            OK (0.07s)
      gt4:                                                            OK (0.05s)
      gt5:                                                            OK (0.03s)
      gt5:                                                            OK (0.05s)
      geq1:                                                           OK (0.03s)
      geq1:                                                           OK (0.03s)
      geq2:                                                           OK (0.04s)
      geq2:                                                           OK (0.04s)
      geq3:                                                           OK (0.04s)
      geq3:                                                           OK (0.05s)
      geq4:                                                           OK (0.05s)
      geq4:                                                           OK (0.03s)
      geq5:                                                           OK (0.04s)
      geq5:                                                           OK (0.05s)
      currencySymbolValueOf:                                          OK (0.03s)
      currencySymbolValueOf:                                          OK (0.03s)
  Value
    9.6
      Short:                                                          OK (1.83s)
      Long:                                                           OK (1.96s)
  Plutus V1 validators may evaluate to any value
    should succeed:                                                   OK (0.14s)
    returns Bool:                                                     OK (0.13s)
    too many parameters:                                              OK (0.13s)
  Plutus V2 validators may evaluate to any value
    should succeed:                                                   OK (0.14s)
    returns Bool:                                                     OK (0.14s)
    too many parameters:                                              OK (0.14s)
  Plutus V3 validators must evaluate to BuiltinUnit
    should succeed:                                                   OK (0.07s)
    returns Bool:                                                     OK (0.07s)
    too many parameters:                                              OK (0.07s)
  MintValue
    Haskell
      Builtin data representation of MintValue and Value is the same: OK (0.89s)
        +++ OK, passed 500 tests.
      Asset class is either minted or burned:                         OK (2.12s)
        +++ OK, passed 500 tests.
      MintValue minted is positive:                                   OK (0.18s)
        +++ OK, passed 500 tests.
      MintValue burned is positive:                                   OK (0.21s)
        +++ OK, passed 500 tests.
    Plinth
      Builtin data representation of MintValue and Value is the same: OK (6.21s)
        +++ OK, passed 100 tests.
      Asset class is either minted or burned:                         OK (6.27s)
        +++ OK, passed 100 tests.
      MintValue minted is positive:                                   OK (5.69s)
        +++ OK, passed 100 tests.
      MintValue burned is positive:                                   OK (5.52s)
        +++ OK, passed 100 tests.
  Script Size
    V2 Script Size:                                                   OK
    V3 Script Size:                                                   OK
    V3 Script Size (lazy decoding):                                   OK
    V3 script evaluates correctly:                                    OK (0.02s)
    V3 (lazy) script evaluates correctly:                             OK
  Value
    9.6
      Short:                                                          OK (1.92s)
      Long:                                                           OK (4.92s)
  withCurrencySymbol
    Haskell
      Each currency symbol in a Value gets its continuation applied:  OK (0.18s)
        +++ OK, passed 500 tests.
      Correct token quantities are selected:                          OK (0.31s)
        +++ OK, passed 500 tests.
    Plinth
      Each currency symbol in a Value gets its continuation applied:  OK (5.35s)
        +++ OK, passed 100 tests.
      Correct token quantities are selected:                          OK (2.44s)
        +++ OK, passed 100 tests.

All 78 tests passed (6.32s)