Package evaluation to test SoleLogics on Julia 1.10.10 (c8be17dcfd*) started at 2026-02-02T19:27:09.523 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.10` Set-up completed after 3.87s ################################################################################ # Installation # Installing SoleLogics... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [b002da8f] + SoleLogics v0.13.7 Updating `~/.julia/environments/v1.10/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.19.3 [e2d170a0] + DataValueInterfaces v1.0.0 [85a47980] + Dictionaries v0.4.6 [ffbed154] + DocStringExtensions v0.9.5 [1a297f60] + FillArrays v1.16.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.13.4 [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.2.1 [21216c6a] + Preferences v1.5.1 [08abe8d2] + PrettyTables v3.1.2 [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.7 [a2af1166] + SortingAlgorithms v1.2.2 [90137ffa] + StaticArrays v1.9.16 [1e83bf80] + StaticArraysCore v1.4.4 [82ae8749] + StatsAPI v1.8.0 [2913bbd2] + StatsBase v0.34.10 [892a3eda] + StringManipulation v0.4.2 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [4239201d] + ThreadSafeDicts v0.1.6 [56f22d72] + Artifacts [2a0f44e3] + Base64 [ade2ca70] + Dates [9fa8497b] + Future [b77e0a4c] + InteractiveUtils [8f399da3] + Libdl [37e2e46d] + LinearAlgebra [56ddb016] + Logging [d6f4376e] + Markdown [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 [cf7118a7] + UUIDs [4ec0a83e] + Unicode [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [4536629a] + OpenBLAS_jll v0.3.23+5 [bea87d4a] + SuiteSparse_jll v7.2.1+1 [8e850b90] + libblastrampoline_jll v5.11.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 6.76s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/h9a3r/src/julia-1.9/activate_set.jl:63 Precompiling package dependencies... Precompiling packages... 1898.0 ms ✓ Discretizers 2910.1 ms ✓ SoleBase 26200.4 ms ✓ TimeseriesFeatures → StatsBaseExt 32967.1 ms ✓ ScientificTypes 28009.4 ms ✓ SoleLogics MultiData Waiting for background task / IO / timer. [pid 58] waiting for IO to finish: Handle type uv_handle_t->data timer 0x1a37fb90->0x74a2c5df7e20 This means that a package has started a background task or event source that has not finished running. For precompilation to complete successfully, the event source needs to be closed explicitly. See the developer documentation on fixing precompilation hangs for more help. [pid 58] waiting for IO to finish: Handle type uv_handle_t->data timer 0x1a37fb90->0x74a2c5df7e20 This means that a package has started a background task or event source that has not finished running. For precompilation to complete successfully, the event source needs to be closed explicitly. See the developer documentation on fixing precompilation hangs for more help. 82172.1 ms ✓ MultiData 63604.2 ms ✓ SoleData 7 dependencies successfully precompiled in 241 seconds. 160 already precompiled. 2 dependencies had output during precompilation: ┌ SoleData │ WARNING: using SoleLogics.threshold in module PLA conflicts with an existing identifier. └ ┌ MultiData │ [pid 58] waiting for IO to finish: │ Handle type uv_handle_t->data │ timer 0x1a37fb90->0x74a2c5df7e20 │ This means that a package has started a background task or event source that has not finished running. For precompilation to complete successfully, the event source needs to be closed explicitly. See the developer documentation on fixing precompilation hangs for more help. │ │ [pid 58] waiting for IO to finish: │ Handle type uv_handle_t->data │ timer 0x1a37fb90->0x74a2c5df7e20 │ This means that a package has started a background task or event source that has not finished running. For precompilation to complete successfully, the event source needs to be closed explicitly. See the developer documentation on fixing precompilation hangs for more help. └ Precompilation completed after 225.92s ################################################################################ # Testing # Testing SoleLogics ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Operations.jl:1829 Status `/tmp/jl_P94cPx/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.6 [069b7b12] FunctionWrappers v1.1.3 ⌃ [86223c79] Graphs v1.13.1 [c8e1da08] IterTools v1.10.0 [50d2b5c4] Lazy v0.15.1 [7f904dfe] PlutoUI v0.7.79 [08abe8d2] PrettyTables v3.1.2 [189a3867] Reexport v1.2.2 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.7 [b002da8f] SoleLogics v0.13.7 [90137ffa] StaticArrays v1.9.16 [2913bbd2] StatsBase v0.34.10 [4239201d] ThreadSafeDicts v0.1.6 [b77e0a4c] InteractiveUtils [d6f4376e] Markdown [9a3f8284] Random [8dfed614] Test Status `/tmp/jl_P94cPx/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 v3.0.0 [944b1d66] CodecZlib v0.7.8 [3da002f7] ColorTypes v0.12.1 [861a8166] Combinatorics v1.1.0 [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.6 [0703355e] DimensionalData v0.29.25 [6e83dbb3] Discretizers v3.2.4 [31c24e10] Distributions v0.25.123 [ffbed154] DocStringExtensions v0.9.5 [460bff9d] ExceptionUnwrapping v0.1.11 [411431e0] Extents v0.1.6 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.16.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 v1.0.0 [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.4.0 [aa1ae85d] JuliaInterpreter v0.10.9 [b964fa9f] LaTeXStrings v1.4.0 [50d2b5c4] Lazy v0.15.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.2.0 [6f1432cf] LoweredCodeUtils v3.5.0 [6c6e2e6c] MIMEs v1.1.0 [e80e1ace] MLJModelInterface v1.12.1 [1914dd2f] MacroTools v0.5.16 [739be429] MbedTLS v1.1.9 [e1d29d7a] Missings v1.2.0 [8cc5100c] MultiData v0.1.4 [4d8831e6] OpenSSL v1.6.1 [bac558e1] OrderedCollections v1.8.1 [90014a1f] PDMats v0.11.37 [69de0a69] Parsers v2.8.3 [7f904dfe] PlutoUI v0.7.79 [2dfb63ee] PooledArrays v1.4.3 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.5.1 [08abe8d2] PrettyTables v3.1.2 [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.13.2 [79098fc4] Rmath v0.9.0 [321657f4] ScientificTypes v3.1.2 [30f210dd] ScientificTypesBase v3.0.0 [6e75b9c4] ScikitLearnBase v0.5.0 [91c51154] SentinelArrays v1.4.9 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.5 [4475fa32] SoleBase v0.13.4 [123f1ae1] SoleData v0.16.7 [b002da8f] SoleLogics v0.13.7 [a2af1166] SortingAlgorithms v1.2.2 [276daf66] SpecialFunctions v2.6.1 [90137ffa] StaticArrays v1.9.16 [1e83bf80] StaticArraysCore v1.4.4 [64bff920] StatisticalTraits v3.5.0 [82ae8749] StatsAPI v1.8.0 [2913bbd2] StatsBase v0.34.10 [4c63d2b9] StatsFuns v1.5.2 [892a3eda] StringManipulation v0.4.2 [ec057cc2] StructUtils v2.6.2 [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 [458c3c95] OpenSSL_jll v3.5.5+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.1 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [8ba89e20] Distributed [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching [9fa8497b] Future [b77e0a4c] InteractiveUtils [4af54fe1] LazyArtifacts [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [a63ad114] Mmap [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.10.0 [de0858da] Printf [9abbd945] Profile [3fa0cd96] REPL [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [1a1011a3] SharedArrays [6462fe0b] Sockets [2f01184e] SparseArrays v1.10.0 [10745b16] Statistics v1.10.0 [4607b0f0] SuiteSparse [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.1010+0 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.23+5 [05823500] OpenLibm_jll v0.8.5+0 [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 ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... Julia version: 1.10.10 ################################################## TEST: core.jl 20.150159 seconds (10.66 M allocations: 726.603 MiB, 2.75% gc time, 97.82% compilation time: <1% of which was recompilation) ################################################## TEST: syntactical.jl 5.860977 seconds (5.08 M allocations: 346.638 MiB, 1.76% gc time, 91.86% compilation time) ################################################## TEST: parse.jl 18.401507 seconds (9.16 M allocations: 651.599 MiB, 3.44% gc time, 92.06% compilation time) ################################################## TEST: normalize.jl 20.570424 seconds (10.68 M allocations: 747.794 MiB, 1.08% gc time, 97.76% compilation time) ################################################## TEST: syntax-utils.jl 15.238485 seconds (10.70 M allocations: 736.238 MiB, 1.72% gc time, 97.31% compilation time) ################################################## TEST: propositional.jl 13.648760 seconds (5.73 M allocations: 387.849 MiB, 1.01% gc time, 96.81% compilation time) ################################################## TEST: formulas/generation.jl 10.390679 seconds (22.11 M allocations: 1010.331 MiB, 23.52% gc time, 53.81% compilation time) ################################################## TEST: formulas/input.jl 0.000324 seconds (101 allocations: 35.305 KiB) ################################################## TEST: formulas/normal-forms.jl 1.000384 seconds (342.48 k allocations: 22.667 MiB, 96.36% compilation time) ################################################## TEST: logics/operators.jl 0.442774 seconds (194.25 k allocations: 12.820 MiB, 90.12% compilation time: 4% of which was recompilation) ################################################## TEST: interpretation-sets.jl 1.614168 seconds (403.07 k allocations: 27.206 MiB, 10.43% gc time, 97.05% compilation time) ################################################## TEST: modal-logic/frames/worlds.jl 1.914714 seconds (901.37 k allocations: 60.803 MiB, 93.42% compilation time) ################################################## TEST: modal-logic/frames/frames.jl 0.001390 seconds (877 allocations: 81.859 KiB) ################################################## TEST: modal-logic/frames/relations.jl 37.229928 seconds (75.17 M allocations: 4.182 GiB, 2.19% gc time, 72.80% compilation time) ################################################## TEST: modal-logic/modal-logic.jl 1.945491 seconds (954.00 k allocations: 65.532 MiB, 91.62% compilation time) ################################################## TEST: modal-logic/multi-modal-logic.jl 29.972906 seconds (10.34 M allocations: 671.432 MiB, 0.43% gc time, 99.69% compilation time) ################################################## TEST: modal-logic/kripke-word.jl 2.912751 seconds (1.35 M allocations: 94.196 MiB, 99.10% compilation time) ################################################## TEST: modal-logic/kripke-image.jl 11.999863 seconds (7.03 M allocations: 480.564 MiB, 1.27% gc time, 98.72% compilation time) ################################################## TEST: generation/formula.jl 9.541459 seconds (5.32 M allocations: 362.462 MiB, 0.33% gc time, 97.54% compilation time) ################################################## TEST: generation/models.jl 1.427373 seconds (735.66 k allocations: 50.016 MiB, 4.15% gc time, 98.19% compilation time) ################################################## TEST: /home/pkgeval/.julia/packages/SoleLogics/GNm5F/pluto-demo.jl Plain: ¬(p ∧ q) Function notation: ¬(∧(p, q)) With more paretheses: ¬(((p)) ∧ ((q))) Producing formula of height 3... q Simplifying... q (¬p ∧ q) ⊕ p p ⊕ p 1.233755 seconds (701.23 k allocations: 47.183 MiB, 97.63% compilation time) ################################################## TEST: many-valued-logics.jl ┌ Warning: Assignment to `_f` in soft scope is ambiguous because a global variable by the same name exists: `_f` will be treated as a new local. Disambiguate by using `local _f` to suppress this warning or `global _f` to assign to the existing global variable. └ @ ~/.julia/packages/SoleLogics/GNm5F/test/many-valued-logics.jl:35 ┌ Warning: Assignment to `_f` in soft scope is ambiguous because a global variable by the same name exists: `_f` will be treated as a new local. Disambiguate by using `local _f` to suppress this warning or `global _f` to assign to the existing global variable. └ @ ~/.julia/packages/SoleLogics/GNm5F/test/many-valued-logics.jl:36 ┌ 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/GNm5F/src/many-valued-logics/operations.jl:60 26.519876 seconds (86.68 M allocations: 5.710 GiB, 3.48% gc time, 46.34% compilation time) ################################################## TEST: misc.jl 1.020714 seconds (444.77 k allocations: 29.557 MiB, 87.27% compilation time) TEST: util.jl 0.502247 seconds (300.20 k allocations: 20.278 MiB, 96.14% compilation time) Test Summary: | Pass Broken Total Time SoleLogics.jl | 114985 16 115001 3m53.7s Testing SoleLogics tests passed Testing completed after 245.13s PkgEval succeeded after 517.26s