Package evaluation of Supposition on Julia 1.10.9 (96dc2d8c45*) started at 2025-06-06T12:56:50.550 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.18s ################################################################################ # Installation # Installing Supposition... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [5a0628fe] + Supposition v0.3.5 Updating `~/.julia/environments/v1.10/Manifest.toml` [076d061b] + HashArrayMappedTries v0.2.0 ⌅ [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [97f35ef4] + RequiredInterfaces v0.1.7 [7e506255] + ScopedValues v1.3.0 [f489334b] + StyledStrings v1.0.3 [5a0628fe] + Supposition v0.3.5 [0dad84c5] + ArgTools v1.1.1 [56f22d72] + Artifacts [2a0f44e3] + Base64 [ade2ca70] + Dates [f43a241f] + Downloads v1.6.0 [7b1f6079] + FileWatching [b77e0a4c] + InteractiveUtils [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 [8f399da3] + Libdl [56ddb016] + Logging [d6f4376e] + Markdown [ca575930] + NetworkOptions v1.2.0 [44cfe95a] + Pkg v1.10.0 [de0858da] + Printf [3fa0cd96] + REPL [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization [6462fe0b] + Sockets [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [8dfed614] + Test [cf7118a7] + UUIDs [4ec0a83e] + Unicode [deac9b47] + LibCURL_jll v8.4.0+0 [e37daf67] + LibGit2_jll v1.6.4+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.2+1 [14a3606d] + MozillaCACerts_jll v2023.1.10 [83775a58] + Zlib_jll v1.2.13+1 [8e850ede] + nghttp2_jll v1.52.0+1 [3f19e933] + p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.15s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 9.0s ################################################################################ # Testing # Testing Supposition Status `/tmp/jl_NhZytk/Project.toml` [4c88cf16] Aqua v0.8.13 [97f35ef4] RequiredInterfaces v0.1.7 [7e506255] ScopedValues v1.3.0 [5a0628fe] Supposition v0.3.5 [b77e0a4c] InteractiveUtils [56ddb016] Logging [44cfe95a] Pkg v1.10.0 [9a3f8284] Random [10745b16] Statistics v1.10.0 [8dfed614] Test Status `/tmp/jl_NhZytk/Manifest.toml` [4c88cf16] Aqua v0.8.13 [34da2185] Compat v4.16.0 [076d061b] HashArrayMappedTries v0.2.0 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [97f35ef4] RequiredInterfaces v0.1.7 [7e506255] ScopedValues v1.3.0 [f489334b] StyledStrings v1.0.3 [5a0628fe] Supposition v0.3.5 [0dad84c5] ArgTools v1.1.1 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching [b77e0a4c] InteractiveUtils [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.10.0 [de0858da] Printf [3fa0cd96] REPL [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [6462fe0b] Sockets [2f01184e] SparseArrays v1.10.0 [10745b16] Statistics v1.10.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [deac9b47] LibCURL_jll v8.4.0+0 [e37daf67] LibGit2_jll v1.6.4+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.2+1 [14a3606d] MozillaCACerts_jll v2023.1.10 [4536629a] OpenBLAS_jll v0.3.23+4 [bea87d4a] SuiteSparse_jll v7.2.1+1 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.52.0+1 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test passed Context: isfloat Test passed Context: noinf Test passed Context: nonan Test passed Context: nonaninf Test passed Context: isfloat Test passed Context: noinf Test passed Context: nonan Test passed Context: nonaninf Test passed Context: isfloat Test passed Context: noinf Test passed Context: nonan Test passed Context: nonaninf Test passed Context: singlearg Test passed Context: twoarg Test passed Context: ##SuppositionAnon#494 Test passed Context: ##SuppositionAnon#517 Test passed Context: ##SuppositionAnon#540 Test passed Context: ##SuppositionAnon#563 Test passed Context: ##SuppositionAnon#586 Test passed Context: ##SuppositionAnon#610 Test passed Context: named_prop Test passed Context: named_prop Test passed Context: inlinedef Test passed Context: inlinedef Test passed Context: depend Test passed Context: foo Test passed Context: doubleprop Test passed Context: associative Test passed Context: identity_add Test passed Context: successor Test passed Context: commutative Test passed Context: allInt Test passed Context: allInt Test passed Context: target_test Score: Inf Test passed Context: composeeven Activating new project at `/tmp/jl_cqYdIJ` Activating project at `/tmp/jl_NhZytk` Test Summary: | Pass Total Time Supposition.jl | 326 326 2m31.3s Testing Supposition tests passed Testing completed after 226.68s PkgEval succeeded after 249.57s