Package evaluation to test SoleLogics on Julia 1.11.8 (29b3528cce*) started at 2026-01-20T07:46:05.919 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.11` Set-up completed after 8.69s ################################################################################ # Installation # Installing SoleLogics... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [b002da8f] + SoleLogics v0.13.7 Updating `~/.julia/environments/v1.11/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.3 [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 [10745b16] + Statistics v1.11.1 [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 v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.11.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.11.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [4536629a] + OpenBLAS_jll v0.3.27+1 [bea87d4a] + SuiteSparse_jll v7.7.0+0 [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 5.35s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/h9a3r/src/julia-1.11/activate_set.jl:78 Precompiling package dependencies... Precompiling project... 12916.3 ms ✓ SoleBase 2685.9 ms ✓ Discretizers 10367.6 ms ✓ TimeseriesFeatures → StatsBaseExt 36617.4 ms ✓ ScientificTypes 53253.3 ms ✓ SoleLogics 129572.2 ms ✓ MultiData 109218.8 ms ✓ SoleData 7 dependencies successfully precompiled in 361 seconds. 191 already precompiled. 1 dependency had output during precompilation: ┌ SoleData │ WARNING: using SoleLogics.threshold in module PLA conflicts with an existing identifier. └ Precompilation completed after 377.76s ################################################################################ # Testing # Testing SoleLogics ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1924 Status `/tmp/jl_noRwUm/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.78 [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 v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_noRwUm/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 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.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.78 [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.1 [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 [10745b16] Statistics v1.11.1 [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.4+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.6.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [4af54fe1] LazyArtifacts v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.11.0 [de0858da] Printf v1.11.0 [9abbd945] Profile v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.11.0 [f489334b] StyledStrings v1.11.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.1.1+0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [4536629a] OpenBLAS_jll v0.3.27+1 [05823500] OpenLibm_jll v0.8.5+0 [bea87d4a] SuiteSparse_jll v7.7.0+0 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.59.0+0 [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... Precompiling PlutoUI... 10441.4 ms ✓ PlutoUI 1 dependency successfully precompiled in 11 seconds. 37 already precompiled. Julia version: 1.11.8 ################################################## TEST: core.jl 49.064588 seconds (22.03 M allocations: 1.094 GiB, 1.22% gc time, 97.75% compilation time: 3% of which was recompilation) ################################################## TEST: syntactical.jl 8.917686 seconds (6.99 M allocations: 367.472 MiB, 1.16% gc time, 93.13% compilation time) ################################################## TEST: parse.jl 32.842505 seconds (11.64 M allocations: 610.835 MiB, 0.55% gc time, 95.36% compilation time) ################################################## TEST: normalize.jl 39.886447 seconds (15.14 M allocations: 805.438 MiB, 0.81% gc time, 97.00% compilation time) ################################################## TEST: syntax-utils.jl 28.122282 seconds (14.00 M allocations: 728.090 MiB, 0.74% gc time, 89.07% compilation time) ################################################## TEST: propositional.jl 27.638795 seconds (8.47 M allocations: 426.845 MiB, 0.60% gc time, 94.97% compilation time) ################################################## TEST: formulas/generation.jl 17.367747 seconds (21.96 M allocations: 1.028 GiB, 11.71% gc time, 70.53% compilation time) ################################################## TEST: formulas/input.jl 0.000540 seconds (122 allocations: 35.367 KiB) ################################################## TEST: formulas/normal-forms.jl 2.102776 seconds (478.89 k allocations: 24.267 MiB, 97.52% compilation time) ################################################## TEST: logics/operators.jl 0.589969 seconds (306.87 k allocations: 15.313 MiB, 92.05% compilation time) ################################################## TEST: interpretation-sets.jl 3.218285 seconds (740.18 k allocations: 38.595 MiB, 98.10% compilation time) ################################################## TEST: modal-logic/frames/worlds.jl 3.493728 seconds (1.74 M allocations: 87.750 MiB, 94.76% compilation time) ################################################## TEST: modal-logic/frames/frames.jl 0.001778 seconds (927 allocations: 64.891 KiB) ################################################## TEST: modal-logic/frames/relations.jl Precompiling BenchmarkTools... 2913.7 ms ✓ BenchmarkTools 1 dependency successfully precompiled in 3 seconds. 15 already precompiled. 53.003594 seconds (78.75 M allocations: 3.882 GiB, 2.66% gc time, 73.54% compilation time: <1% of which was recompilation) ################################################## TEST: modal-logic/modal-logic.jl 6.541288 seconds (3.04 M allocations: 170.602 MiB, 0.49% gc time, 96.41% compilation time: 16% of which was recompilation) ################################################## TEST: modal-logic/multi-modal-logic.jl 38.754955 seconds (15.44 M allocations: 775.159 MiB, 0.66% gc time, 99.72% compilation time) ################################################## TEST: modal-logic/kripke-word.jl 5.886902 seconds (2.25 M allocations: 117.386 MiB, 99.46% compilation time) ################################################## TEST: modal-logic/kripke-image.jl 22.516246 seconds (9.79 M allocations: 493.145 MiB, 0.70% gc time, 99.18% compilation time: <1% of which was recompilation) ################################################## TEST: generation/formula.jl 18.350937 seconds (8.59 M allocations: 448.497 MiB, 0.96% gc time, 97.39% compilation time) ################################################## TEST: generation/models.jl 2.642664 seconds (1.23 M allocations: 62.782 MiB, 98.63% 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... p Simplifying... p (¬p ∧ q) ⊕ p p 2.574463 seconds (1.21 M allocations: 66.928 MiB, 98.76% compilation time: 11% of which was recompilation) ################################################## 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 49.888227 seconds (145.83 M allocations: 5.970 GiB, 2.23% gc time, 51.61% compilation time) ################################################## TEST: misc.jl 2.749092 seconds (933.15 k allocations: 51.446 MiB, 1.51% gc time, 92.90% compilation time: 36% of which was recompilation) TEST: util.jl 1.212922 seconds (575.43 k allocations: 30.380 MiB, 97.47% compilation time) Test Summary: | Pass Broken Total Time SoleLogics.jl | 114985 16 115001 6m57.6s Testing SoleLogics tests passed Testing completed after 448.34s PkgEval succeeded after 864.23s