Package evaluation to test SoleLogics on Julia 1.14.0-DEV.1299 (6d6224db99*) started at 2025-11-25T17:51:49.302 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.05s ################################################################################ # Installation # Installing SoleLogics... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [b002da8f] + SoleLogics v0.13.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [66dad0bd] + AliasTables v1.1.3 [ec485272] + ArnoldiMethod v0.4.0 [324d7699] + CategoricalArrays v1.0.2 [34da2185] + Compat v4.18.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [85a47980] + Dictionaries v0.4.5 [ffbed154] + DocStringExtensions v0.9.5 [1a297f60] + FillArrays v1.15.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.13.1 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.6 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [b964fa9f] + LaTeXStrings v1.4.0 [50d2b5c4] + Lazy v0.15.1 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.1 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 ⌅ [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [699a6c99] + SimpleTraits v0.9.5 [4475fa32] + SoleBase v0.13.4 [b002da8f] + SoleLogics v0.13.2 [a2af1166] + SortingAlgorithms v1.2.2 [90137ffa] + StaticArrays v1.9.15 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.8 [892a3eda] + StringManipulation v0.4.2 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [4239201d] + ThreadSafeDicts v0.1.6 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.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 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 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.5s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Error: Failed to use TestEnv.jl; test dependencies will not be precompiled │ exception = │ UndefVarError: `project_rel_path` not defined in `TestEnv` │ Suggestion: this global was defined as `Pkg.Operations.project_rel_path` but not assigned a value. │ Stacktrace: │ [1] get_test_dir(ctx::Pkg.Types.Context, pkgspec::PackageSpec) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:75 │ [2] test_dir_has_project_file │ @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:52 [inlined] │ [3] maybe_gen_project_override! │ @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:83 [inlined] │ [4] activate(pkg::String; allow_reresolve::Bool) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:12 │ [5] activate(pkg::String) │ @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:9 │ [6] top-level scope │ @ /PkgEval.jl/scripts/precompile.jl:24 │ [7] include(mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [8] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:344 │ [9] _start() │ @ Base ./client.jl:577 └ @ Main /PkgEval.jl/scripts/precompile.jl:26 Precompiling package dependencies... Precompiling packages... 2218.6 ms ✓ CategoricalArrays → CategoricalArraysStatsBaseExt 9516.8 ms ✓ Graphs 8203.2 ms ✓ SoleBase 26409.2 ms ✓ SoleLogics 4 dependencies successfully precompiled in 55 seconds. 64 already precompiled. Precompilation completed after 59.35s ################################################################################ # Testing # Testing SoleLogics Status `/tmp/jl_Rq7dlb/Project.toml` [1520ce14] AbstractTrees v0.4.5 [6e4b80f9] BenchmarkTools v1.6.3 [a93c6f00] DataFrames v1.8.1 ⌅ [864edb3b] DataStructures v0.18.22 [7806a523] DecisionTree v0.12.4 [85a47980] Dictionaries v0.4.5 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.13.1 [c8e1da08] IterTools v1.10.0 [50d2b5c4] Lazy v0.15.1 [7f904dfe] PlutoUI v0.7.75 ⌅ [08abe8d2] PrettyTables v2.4.0 [189a3867] Reexport v1.2.2 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.6 [b002da8f] SoleLogics v0.13.2 [90137ffa] StaticArrays v1.9.15 [2913bbd2] StatsBase v0.34.8 [4239201d] ThreadSafeDicts v0.1.6 [b77e0a4c] InteractiveUtils v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_Rq7dlb/Manifest.toml` [6e696c72] AbstractPlutoDingetjes v1.3.2 [1520ce14] AbstractTrees v0.4.5 [79e6a3ab] Adapt v4.4.0 [66dad0bd] AliasTables v1.1.3 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.22.0 [6e4b80f9] BenchmarkTools v1.6.3 [d1d4a3ce] BitFlags v0.1.9 [336ed68f] CSV v0.10.15 [acdeb78f] Catch22 v0.7.0 [324d7699] CategoricalArrays v1.0.2 [da1fd8a2] CodeTracking v2.0.2 [944b1d66] CodecZlib v0.7.8 [3da002f7] ColorTypes v0.12.1 [34da2185] Compat v4.18.1 [807dbc54] Compiler v0.1.1 [f0e56b4a] ConcurrentUtilities v2.5.0 [187b0558] ConstructionBase v1.6.0 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.8.1 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [e7dc6d0d] DataValues v0.4.13 [7806a523] DecisionTree v0.12.4 [8bb1440f] DelimitedFiles v1.9.1 [85a47980] Dictionaries v0.4.5 [0703355e] DimensionalData v0.29.25 [6e83dbb3] Discretizers v3.2.4 [31c24e10] Distributions v0.25.122 [ffbed154] DocStringExtensions v0.9.5 [460bff9d] ExceptionUnwrapping v0.1.11 [411431e0] Extents v0.1.6 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.15.0 [53c48c17] FixedPointNumbers v0.8.5 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.13.1 [cd3eb016] HTTP v1.10.19 [34004b35] HypergeometricFunctions v0.3.28 [47d2ed2b] Hyperscript v0.0.5 [ac1192a8] HypertextLiteral v0.9.5 [b5f81e59] IOCapture v1.0.0 [313cdc1a] Indexing v1.1.1 [d25df0c9] Inflate v0.1.5 [842dd82b] InlineStrings v1.4.5 [85a1e053] Interfaces v0.3.2 [8197267c] IntervalSets v0.7.13 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.6 [c8e1da08] IterTools v1.10.0 [1c8ee90f] IterableTables v1.0.0 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.3.0 [aa1ae85d] JuliaInterpreter v0.10.7 [b964fa9f] LaTeXStrings v1.4.0 [50d2b5c4] Lazy v0.15.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.2.0 [6f1432cf] LoweredCodeUtils v3.4.4 [6c6e2e6c] MIMEs v1.1.0 [e80e1ace] MLJModelInterface v1.12.0 [1914dd2f] MacroTools v0.5.16 [739be429] MbedTLS v1.1.9 [e1d29d7a] Missings v1.2.0 [8cc5100c] MultiData v0.1.4 [4d8831e6] OpenSSL v1.6.0 [bac558e1] OrderedCollections v1.8.1 [90014a1f] PDMats v0.11.36 [69de0a69] Parsers v2.8.3 [7f904dfe] PlutoUI v0.7.75 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 ⌅ [08abe8d2] PrettyTables v2.4.0 [33c8b6b6] ProgressLogging v0.1.6 [92933f4c] ProgressMeter v1.11.0 [43287f4e] PtrArrays v1.3.0 [1fd47b50] QuadGK v2.11.2 [1a8c2f83] Query v1.0.0 [2aef5ad7] QueryOperators v0.9.3 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [295af30f] Revise v3.12.2 [79098fc4] Rmath v0.9.0 [321657f4] ScientificTypes v3.1.1 [30f210dd] ScientificTypesBase v3.0.0 [6e75b9c4] ScikitLearnBase v0.5.0 [91c51154] SentinelArrays v1.4.8 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.5 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.6 [b002da8f] SoleLogics v0.13.2 [a2af1166] SortingAlgorithms v1.2.2 [276daf66] SpecialFunctions v2.6.1 [90137ffa] StaticArrays v1.9.15 [1e83bf80] StaticArraysCore v1.4.4 [64bff920] StatisticalTraits v3.5.0 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.8 [4c63d2b9] StatsFuns v1.5.2 [892a3eda] StringManipulation v0.4.2 [ec057cc2] StructUtils v2.6.0 [5e66a065] TableShowUtils v0.2.7 [3783bdb8] TableTraits v1.0.1 [382cd787] TableTraitsUtils v1.0.2 [bd369af6] Tables v1.12.1 [4239201d] ThreadSafeDicts v0.1.6 [f3112013] TimeseriesFeatures v0.6.1 [3bb67fe8] TranscodingStreams v0.11.3 [410a4b4d] Tricks v0.1.13 [5c2747f8] URIs v1.6.1 [2fbcfb34] UniqueVectors v1.2.0 [ea10d353] WeakRefStrings v1.4.2 [76eceee3] WorkerUtilities v1.6.1 [a5390f91] ZipFile v0.10.1 [c8ffd9c3] MbedTLS_jll v2.28.1010+0 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+0 [8a07c0c5] catch22_jll v0.5.0+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.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 [4607b0f0] SuiteSparse [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.3.0+1 [deac9b47] LibCURL_jll v8.17.0+0 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.11.4 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Julia version: 1.14.0-DEV.1299 ################################################## TEST: core.jl 69.047406 seconds (37.86 M allocations: 1.919 GiB, 1.66% gc time, 94.13% compilation time: 9% of which was recompilation) ################################################## TEST: parse.jl 15.299326 seconds (6.07 M allocations: 310.935 MiB, 1.20% gc time, 94.54% compilation time) ################################################## TEST: normalize.jl 31.384232 seconds (15.26 M allocations: 792.967 MiB, 0.87% gc time, 98.08% compilation time) ################################################## TEST: syntax-utils.jl 18.491107 seconds (14.27 M allocations: 715.528 MiB, 0.91% gc time, 96.99% compilation time) ################################################## TEST: formulas/generation.jl 14.940853 seconds (14.97 M allocations: 794.165 MiB, 8.81% gc time, 78.94% compilation time) ################################################## TEST: formulas/input.jl 0.000383 seconds (392 allocations: 46.547 KiB) ################################################## TEST: formulas/normal-forms.jl 1.720419 seconds (743.89 k allocations: 37.279 MiB, 95.33% compilation time) ################################################## TEST: logics/operators.jl 0.964412 seconds (411.15 k allocations: 20.923 MiB, 93.25% compilation time: 2% of which was recompilation) ################################################## TEST: interpretation-sets.jl 0.457417 seconds (244.32 k allocations: 12.479 MiB, 91.20% compilation time) ################################################## TEST: propositional-logic.jl 4.628045 seconds (2.22 M allocations: 118.328 MiB, 99.88% compilation time) ################################################## TEST: frames/worlds.jl 4.202404 seconds (3.47 M allocations: 179.008 MiB, 1.32% gc time, 89.39% compilation time: 3% of which was recompilation) ################################################## TEST: frames/frames.jl 0.002675 seconds (1.23 k allocations: 75.039 KiB) ################################################## TEST: frames/relations.jl 70.028333 seconds (108.03 M allocations: 5.880 GiB, 2.06% gc time, 80.52% compilation time: 16% of which was recompilation) ################################################## TEST: multi-modal-logic.jl 49.939553 seconds (23.65 M allocations: 1.153 GiB, 0.71% gc time, 99.82% compilation time: <1% of which was recompilation) ################################################## TEST: generation/formula.jl 17.708381 seconds (10.40 M allocations: 539.607 MiB, 1.12% gc time, 98.06% compilation time: 10% of which was recompilation) ################################################## TEST: generation/models.jl 1.694148 seconds (1.12 M allocations: 56.548 MiB, 98.31% compilation time) ################################################## TEST: kripke-word.jl 12.096690 seconds (6.07 M allocations: 323.748 MiB, 1.49% gc time, 99.69% compilation time: 13% of which was recompilation) ################################################## TEST: kripke-image.jl 17.710383 seconds (9.42 M allocations: 473.968 MiB, 1.11% gc time, 98.94% compilation time: 3% of which was recompilation) ################################################## TEST: /home/pkgeval/.julia/packages/SoleLogics/iMSg8/pluto-demo.jl Plain: ¬(p ∧ q) Function notation: ¬(∧(p, q)) With mare paretheses: ¬(((p)) ∧ ((q))) Producing formula of height 3... p Simplifying... p (¬p ∧ q) ⊕ p p 25.262675 seconds (2.38 M allocations: 140.569 MiB, 0.68% gc time, 16.15% compilation time: 34% of which was recompilation) ################################################## TEST: many-valued-logics.jl ┌ Warning: Non commutative operation defined with `AbstractVector`` constructor! │ Please, check that indices are in the intended order. │ If you don't know what you're doing, use the `SMatrix` constructor instead. └ @ SoleLogics.ManyValuedLogics ~/.julia/packages/SoleLogics/iMSg8/src/many-valued-logics/operations.jl:60 35.339516 seconds (141.95 M allocations: 5.465 GiB, 3.32% gc time, 34.27% compilation time: 19% of which was recompilation) ################################################## TEST: misc.jl 3.004178 seconds (1.41 M allocations: 73.772 MiB, 93.87% compilation time: 47% of which was recompilation) TEST: util.jl 0.608972 seconds (416.44 k allocations: 22.123 MiB, 96.62% compilation time) Test Summary: | Pass Broken Total Time SoleLogics.jl | 239461 16 239477 6m35.7s Testing SoleLogics tests passed Testing completed after 407.2s PkgEval succeeded after 509.28s