Package evaluation of PropCheck on Julia 1.10.8 (92f03a4775*) started at 2025-02-25T05:06:30.719


################################################################################
# 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.11s


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

Precompiling PkgEval dependencies...

Precompiling package dependencies...

Precompilation completed after 11.97s


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

     Testing PropCheck
      Status `/tmp/jl_ODJVDc/Project.toml`
  [ca382230] PropCheck v0.10.1
  [97f35ef4] RequiredInterfaces v0.1.7
  [9a3f8284] Random
  [8dfed614] Test
      Status `/tmp/jl_ODJVDc/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(0x2b6420b192efe993, 0xe97b66fc92f00e7f, 0x8168bbe84fa512a9, 0x84ce75bb74608c7c, 0xc6dcfb8cad691c56)
┌ Info: Found counterexample for 'issorted', beginning shrinking...
│   Counterexample =
│    4-element Vector{UInt8}:
│     0xfd
│     0xd5
│     0xcb
└     0xfc
[ Info: 47 counterexamples found for issorted
┌ Info: Found counterexample for 'Base.Fix2{typeof(<), Int64}(<, 5)', beginning shrinking...
└   Counterexample = 0x40
[ Info: 5 counterexamples found for Base.Fix2{typeof(<), Int64}(<, 5)
┌ Info: Found counterexample for 'iseven', beginning shrinking...
└   Counterexample = 0x61
[ Info: 7 counterexamples found for iseven
┌ Info: Found counterexample for 'throwingProperty', beginning shrinking...
└   Counterexample = 0x61
┌ Info: 6 counterexamples found for throwingProperty, of which 6 threw 1 distinct exception types
│   Errors =
│    1-element Vector{ArgumentError}:
└     ArgumentError("x not smaller than 5")
┌ Info: Found counterexample for '#10', beginning shrinking...
│   Counterexample =
│    5-element Vector{UInt8}:
│     0xb9
│     0x9d
│     0xe3
│     0x4a
└     0x87
[ Info: 57 counterexamples found for #10
┌ Info: Found counterexample for '#14', beginning shrinking...
│   Counterexample =
│    2-element Vector{UInt8}:
│     0x1d
└     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  1m39.8s
100.133880 seconds (59.11 M allocations: 6.282 GiB, 4.09% gc time, 84.20% compilation time)
     Testing PropCheck tests passed 

Testing completed after 120.41s

PkgEval succeeded after 145.93s