Package evaluation to test MathematicalPredicates on Julia 1.14.0-DEV.3141 (fbd24f51d0*) started at 2026-09-08T12:37:28.803 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.49s ################################################################################ # Installation # Installing MathematicalPredicates... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [d92ed5c0] + MathematicalPredicates v0.1.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [d92ed5c0] + MathematicalPredicates v0.1.1 [ae029012] + Requires v1.3.1 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [cf7118a7] + UUIDs v1.11.0 Installation completed after 1.63s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 1.4 s ✓ MathematicalPredicates 0.6 s ✓ FastRounding 4.7 s ✓ ReachabilityBase 2.2 s ✓ GLPK_jll 1.4 s ✓ CodecBzip2 6.5 s ✓ IntervalArithmetic 100.1 s ✓ MathOptInterface 69.3 s ✓ JuMP 10.7 s ✓ GLPK 34.0 s ✓ LazySets 10 dependencies successfully precompiled in 232 seconds. 76 already precompiled. Precompilation completed after 245.86s ################################################################################ # Testing # Testing MathematicalPredicates Status `/tmp/jl_yCB6GB/Project.toml` [4c88cf16] Aqua v0.8.16 ⌅ [b4f0291d] LazySets v4.0.1 [d92ed5c0] MathematicalPredicates v0.1.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_yCB6GB/Manifest.toml` [4c88cf16] Aqua v0.8.16 [96374032] CRlibm v1.0.2 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.9 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [ffbed154] DocStringExtensions v0.9.5 [4e289a0a] EnumX v1.0.7 [90fa49ef] ErrorfreeArithmetic v0.5.2 [e2ba6199] ExprTools v0.1.11 [fa42c844] FastRounding v0.3.1 [f6369f11] ForwardDiff v1.4.5 [60bf3e95] GLPK v1.2.1 ⌅ [d1acc4aa] IntervalArithmetic v0.21.2 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.8.0 [4076af6c] JuMP v1.31.2 ⌅ [b4f0291d] LazySets v4.0.1 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.53.0 [d92ed5c0] MathematicalPredicates v0.1.1 [d8a4904e] MutableArithmetics v1.8.0 [77ba4419] NaNMath v1.1.4 [bac558e1] OrderedCollections v2.0.1 [69de0a69] Parsers v3.0.0 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [379f33d0] ReachabilityBase v0.3.6 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [5eaf0fd0] RoundingEmulator v0.2.1 [3cc68bcd] SetRounding v0.2.1 [276daf66] SpecialFunctions v2.9.0 [90137ffa] StaticArrays v1.9.20 [1e83bf80] StaticArraysCore v1.4.4 [ec057cc2] StructUtils v2.8.5 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [4e9b3aee] CRlibm_jll v1.0.1+0 ⌅ [e8aa6df9] GLPK_jll v5.0.1+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.12.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.7+0 [781609d7] GMP_jll v6.3.0+5 [deac9b47] LibCURL_jll v8.22.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [14a3606d] MozillaCACerts_jll v2026.8.13 [4536629a] OpenBLAS_jll v0.3.34+0 [05823500] OpenLibm_jll v0.8.8+0 [458c3c95] OpenSSL_jll v3.5.8+0 [efcefdf7] PCRE2_jll v10.48.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.70.0+0 [3f19e933] p7zip_jll v17.8.2+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time Basic functionality | 32 32 6.1s Test Summary: | Pass Total Time LazySets support | 16 16 24.1s Test Summary: | Pass Total Time Aqua tests | 11 11 1m27.7s Testing MathematicalPredicates tests passed Testing completed after 134.4s PkgEval succeeded after 424.47s