Package evaluation of PropCheck on Julia 1.10.9 (96dc2d8c45*) started at 2025-06-06T12:28:50.777


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 5.13s


################################################################################
# Installation
#

Installing PropCheck...
   Resolving package versions...
    Updating `~/.julia/environments/v1.10/Project.toml`
  [ca382230] + PropCheck v0.10.1
    Updating `~/.julia/environments/v1.10/Manifest.toml`
  [34da2185] + Compat v4.16.0
  [ca382230] + PropCheck v0.10.1
  [97f35ef4] + RequiredInterfaces v0.1.7
  [2a0f44e3] + Base64
  [ade2ca70] + Dates
  [b77e0a4c] + InteractiveUtils
  [56ddb016] + Logging
  [d6f4376e] + Markdown
  [de0858da] + Printf
  [9a3f8284] + Random
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization
  [fa267f1f] + TOML v1.0.3
  [8dfed614] + Test
  [cf7118a7] + UUIDs
  [4ec0a83e] + Unicode

Installation completed after 5.06s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 11.98s


################################################################################
# Testing
#

     Testing PropCheck
      Status `/tmp/jl_SXay1F/Project.toml`
  [ca382230] PropCheck v0.10.1
  [97f35ef4] RequiredInterfaces v0.1.7
  [9a3f8284] Random
  [8dfed614] Test
      Status `/tmp/jl_SXay1F/Manifest.toml`
  [34da2185] Compat v4.16.0
  [ca382230] PropCheck v0.10.1
  [97f35ef4] RequiredInterfaces v0.1.7
  [2a0f44e3] Base64
  [ade2ca70] Dates
  [b77e0a4c] InteractiveUtils
  [56ddb016] Logging
  [d6f4376e] Markdown
  [de0858da] Printf
  [9a3f8284] Random
  [ea8e919c] SHA v0.7.0
  [9e88b42a] Serialization
  [fa267f1f] TOML v1.0.3
  [8dfed614] Test
  [cf7118a7] UUIDs
  [4ec0a83e] Unicode
     Testing Running tests...
┌ Info: RNG state is:
└   RNG = Random.Xoshiro(0x618c39b3b9c8b605, 0x2da835907ff2ce21, 0x96c71cac016209a0, 0x224c30d479d39e2a, 0xb21ab206f16eb647)
┌ Info: Found counterexample for 'issorted', beginning shrinking...
│   Counterexample =
│    7-element Vector{UInt8}:
│     0x38
│     0x14
│     0x8f
│     0xc8
│     0x33
│     0xd5
└     0x26
[ Info: 54 counterexamples found for issorted
┌ Info: Found counterexample for 'Base.Fix2{typeof(<), Int64}(<, 5)', beginning shrinking...
└   Counterexample = 0x52
[ Info: 8 counterexamples found for Base.Fix2{typeof(<), Int64}(<, 5)
┌ Info: Found counterexample for 'iseven', beginning shrinking...
└   Counterexample = 0xa5
[ Info: 5 counterexamples found for iseven
┌ Info: Found counterexample for 'throwingProperty', beginning shrinking...
└   Counterexample = 0xa5
┌ Info: 8 counterexamples found for throwingProperty, of which 8 threw 1 distinct exception types
│   Errors =
│    1-element Vector{ArgumentError}:
└     ArgumentError("x not smaller than 5")
┌ Info: Found counterexample for '#10', beginning shrinking...
│   Counterexample =
│    7-element Vector{UInt8}:
│     0x38
│     0x14
│     0x8f
│     0xc8
│     0x33
│     0xd5
└     0x26
[ Info: 34 counterexamples found for #10
┌ Info: Found counterexample for '#14', beginning shrinking...
│   Counterexample =
│    2-element Vector{UInt8}:
│     0xe8
└     0x00
[ Info: 2 counterexamples found for #14
┌ Info: Found counterexample for '#43', beginning shrinking...
└   Counterexample = 2
[ Info: 1 counterexamples found for #43
Test Summary: | Pass  Broken  Total     Time
All Tests     |  135       2    137  1m36.7s
 96.974908 seconds (59.78 M allocations: 6.367 GiB, 3.94% gc time, 84.02% compilation time)
     Testing PropCheck tests passed 

Testing completed after 116.04s

PkgEval succeeded after 141.15s