Package evaluation to test SoleLogics on Julia 1.13.0-alpha2.30 (5abf758bb1*) started at 2026-01-09T04:15:16.434 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 10.18s ################################################################################ # Installation # Installing SoleLogics... Resolving package versions... Installed Indexing ──────────────────── v1.1.1 Installed MacroTools ────────────────── v0.5.16 Installed ArnoldiMethod ─────────────── v0.4.0 Installed FillArrays ────────────────── v1.15.0 Installed AliasTables ───────────────── v1.1.3 Installed AbstractTrees ─────────────── v0.4.5 Installed DataStructures ────────────── v0.19.3 Installed SoleBase ──────────────────── v0.13.4 Installed StatsAPI ──────────────────── v1.8.0 Installed DataAPI ───────────────────── v1.16.0 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed OrderedCollections ────────── v1.8.1 Installed Compat ────────────────────── v4.18.1 Installed StatsBase ─────────────────── v0.34.9 Installed Statistics ────────────────── v1.11.1 Installed PrecompileTools ───────────── v1.3.3 Installed DataValueInterfaces ───────── v1.0.0 Installed StaticArraysCore ──────────── v1.4.4 Installed IrrationalConstants ───────── v0.2.6 Installed SimpleTraits ──────────────── v0.9.5 Installed FunctionWrappers ──────────── v1.1.3 Installed StringManipulation ────────── v0.4.2 Installed Requires ──────────────────── v1.3.1 Installed StaticArrays ──────────────── v1.9.16 Installed PtrArrays ─────────────────── v1.3.0 Installed Reexport ──────────────────── v1.2.2 Installed Tables ────────────────────── v1.12.1 Installed Missings ──────────────────── v1.2.0 Installed LogExpFunctions ───────────── v0.3.29 Installed ThreadSafeDicts ───────────── v0.1.6 Installed Preferences ───────────────── v1.5.1 Installed PrettyTables ──────────────── v3.1.2 Installed LaTeXStrings ──────────────── v1.4.0 Installed TableTraits ───────────────── v1.0.1 Installed Crayons ───────────────────── v4.1.1 Installed IterTools ─────────────────── v1.10.0 Installed SortingAlgorithms ─────────── v1.2.2 Installed Lazy ──────────────────────── v0.15.1 Installed Dictionaries ──────────────── v0.4.6 Installed Inflate ───────────────────── v0.1.5 Installed DocStringExtensions ───────── v0.9.5 Installed SoleLogics ────────────────── v0.13.7 Installed CategoricalArrays ─────────── v1.0.2 Installed Graphs ────────────────────── v1.13.3 Updating `~/.julia/environments/v1.13/Project.toml` [b002da8f] + SoleLogics v0.13.7 Updating `~/.julia/environments/v1.13/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.15.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.3.3 [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.9 [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 [7b1f6079] + FileWatching 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 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.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.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 5.59s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4977.0 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/iseFl/src/julia-1.13/activate_set.jl:78 Precompiling package dependencies... Precompilation completed after 722.36s ################################################################################ # Testing # Testing SoleLogics Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_sKQIAR/Project.toml` [6e4b80f9] + BenchmarkTools v1.6.3 [a93c6f00] + DataFrames v1.8.1 ⌅ [864edb3b] ↓ DataStructures v0.19.3 ⇒ v0.18.22 [7806a523] + DecisionTree v0.12.4 ⌃ [86223c79] ↓ Graphs v1.13.3 ⇒ v1.13.1 [7f904dfe] + PlutoUI v0.7.77 [123f1ae1] + SoleData v0.16.7 [b002da8f] + SoleLogics v0.13.7 [8dfed614] ~ Test ⇒ v1.11.0 Updating `/tmp/jl_sKQIAR/Manifest.toml` [6e696c72] + AbstractPlutoDingetjes v1.3.2 [79e6a3ab] + Adapt v4.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 [da1fd8a2] + CodeTracking v3.0.0 [944b1d66] + CodecZlib v0.7.8 [3da002f7] + ColorTypes v0.12.1 [861a8166] + Combinatorics v1.1.0 [807dbc54] + Compiler v0.1.1 [f0e56b4a] + ConcurrentUtilities v2.5.0 [187b0558] + ConstructionBase v1.6.0 [a93c6f00] + DataFrames v1.8.1 ⌅ [864edb3b] ↓ DataStructures v0.19.3 ⇒ v0.18.22 [e7dc6d0d] + DataValues v0.4.13 [7806a523] + DecisionTree v0.12.4 [8bb1440f] + DelimitedFiles v1.9.1 [0703355e] + DimensionalData v0.29.25 [6e83dbb3] + Discretizers v3.2.4 [31c24e10] + Distributions v0.25.123 [460bff9d] + ExceptionUnwrapping v0.1.11 [411431e0] + Extents v0.1.6 [48062228] + FilePathsBase v0.9.24 [53c48c17] + FixedPointNumbers v0.8.5 ⌃ [86223c79] ↓ Graphs v1.13.3 ⇒ 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 [842dd82b] + InlineStrings v1.4.5 [85a1e053] + Interfaces v0.3.2 [8197267c] + IntervalSets v0.7.13 [41ab1584] + InvertedIndices v1.3.1 [1c8ee90f] + IterableTables v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [682c06a0] + JSON v1.3.0 [aa1ae85d] + JuliaInterpreter v0.10.9 [e6f89c97] + LoggingExtras v1.2.0 [6f1432cf] + LoweredCodeUtils v3.5.0 [6c6e2e6c] + MIMEs v1.1.0 [e80e1ace] + MLJModelInterface v1.12.1 [739be429] + MbedTLS v1.1.9 [8cc5100c] + MultiData v0.1.4 [4d8831e6] + OpenSSL v1.6.1 [90014a1f] + PDMats v0.11.37 [69de0a69] + Parsers v2.8.3 [7f904dfe] + PlutoUI v0.7.77 [2dfb63ee] + PooledArrays v1.4.3 [33c8b6b6] + ProgressLogging v0.1.6 [92933f4c] + ProgressMeter v1.11.0 [1fd47b50] + QuadGK v2.11.2 [1a8c2f83] + Query v1.0.0 [2aef5ad7] + QueryOperators v0.9.3 [3cdcf5f2] + RecipesBase v1.3.4 [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 [123f1ae1] + SoleData v0.16.7 [b002da8f] + SoleLogics v0.13.7 [276daf66] + SpecialFunctions v2.6.1 [64bff920] + StatisticalTraits v3.5.0 [4c63d2b9] + StatsFuns v1.5.2 [ec057cc2] + StructUtils v2.6.1 [5e66a065] + TableShowUtils v0.2.7 [382cd787] + TableTraitsUtils v1.0.2 [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 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [4af54fe1] + LazyArtifacts v1.11.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.13.0 [9abbd945] + Profile v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [4607b0f0] + SuiteSparse [a4e569a6] + Tar v1.10.0 [8dfed614] ~ Test ⇒ v1.11.0 [deac9b47] + LibCURL_jll v8.16.0+0 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.12.2 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.4+0 [efcefdf7] + PCRE2_jll v10.46.0+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850ede] + nghttp2_jll v1.67.1+0 [3f19e933] + p7zip_jll v17.7.0+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_sKQIAR/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.77 [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.9 [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_sKQIAR/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.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.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.77 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.3 [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.9 [4c63d2b9] StatsFuns v1.5.2 [892a3eda] StringManipulation v0.4.2 [ec057cc2] StructUtils v2.6.1 [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.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.3.0+1 [deac9b47] LibCURL_jll v8.16.0+0 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [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.46.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.67.1+0 [3f19e933] p7zip_jll v17.7.0+0 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.13.0-alpha2.30 ################################################## TEST: core.jl 36.601171 seconds (24.37 M allocations: 1.223 GiB, 2.87% gc time, 98.61% compilation time: 13% of which was recompilation) ################################################## TEST: syntactical.jl 5.176696 seconds (6.17 M allocations: 310.105 MiB, 2.22% gc time, 94.02% compilation time) ################################################## TEST: parse.jl 21.318562 seconds (12.39 M allocations: 641.207 MiB, 1.00% gc time, 97.61% compilation time: <1% of which was recompilation) ################################################## TEST: normalize.jl 28.117802 seconds (15.39 M allocations: 804.303 MiB, 2.78% gc time, 97.98% compilation time) ################################################## TEST: syntax-utils.jl 18.513475 seconds (14.74 M allocations: 740.886 MiB, 1.44% gc time, 97.81% compilation time) ################################################## TEST: propositional.jl TruthDict: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/GNm5F/test/propositional.jl:31 Expression: String(take!(io)) == "TruthDict with values:\n┌────────┬────────┐\n│ q │ p │\n│ String │ String │\n├────────┼────────┤\n│ ⊤ │ ⊤ │\n└────────┴────────┘\n" Evaluated: "TruthDict with values:\n┌────────┬────────┐\n│ p │ q │\n│ String │ String │\n├────────┼────────┤\n│ ⊤ │ ⊤ │\n└────────┴────────┘\n" == "TruthDict with values:\n┌────────┬────────┐\n│ q │ p │\n│ String │ String │\n├────────┼────────┤\n│ ⊤ │ ⊤ │\n└────────┴────────┘\n" Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/GNm5F/test/propositional.jl:25 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1961 [inlined] [3] macro expansion @ ~/.julia/packages/SoleLogics/GNm5F/test/propositional.jl:31 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:753 [inlined] 26.833465 seconds (13.48 M allocations: 708.797 MiB, 1.17% gc time, 98.83% compilation time: <1% of which was recompilation) ################################################## TEST: formulas/generation.jl 11.278502 seconds (14.92 M allocations: 791.669 MiB, 14.27% gc time, 68.25% compilation time) ################################################## TEST: formulas/input.jl 0.000375 seconds (91 allocations: 32.438 KiB) ################################################## TEST: formulas/normal-forms.jl 1.084188 seconds (387.71 k allocations: 19.403 MiB, 96.03% compilation time) ################################################## TEST: logics/operators.jl 0.889538 seconds (423.91 k allocations: 21.717 MiB, 93.68% compilation time) ################################################## TEST: interpretation-sets.jl 2.179744 seconds (791.06 k allocations: 41.597 MiB, 97.08% compilation time) ################################################## TEST: modal-logic/frames/worlds.jl 3.887928 seconds (3.56 M allocations: 183.491 MiB, 6.02% gc time, 96.64% compilation time: 1% of which was recompilation) ################################################## TEST: modal-logic/frames/frames.jl 0.002616 seconds (1.14 k allocations: 72.602 KiB) ################################################## TEST: modal-logic/frames/relations.jl 86.508990 seconds (66.16 M allocations: 3.543 GiB, 1.76% gc time, 55.75% compilation time: 31% of which was recompilation) ################################################## TEST: modal-logic/modal-logic.jl 8.408310 seconds (5.16 M allocations: 278.748 MiB, 0.50% gc time, 97.14% compilation time: 15% of which was recompilation) ################################################## TEST: modal-logic/multi-modal-logic.jl 49.220675 seconds (23.68 M allocations: 1.157 GiB, 0.86% gc time, 99.79% compilation time) ################################################## TEST: modal-logic/kripke-word.jl 4.725146 seconds (2.60 M allocations: 134.926 MiB, 99.29% compilation time) ################################################## TEST: modal-logic/kripke-image.jl 15.849739 seconds (9.85 M allocations: 499.665 MiB, 0.93% gc time, 98.64% compilation time: 4% of which was recompilation) ################################################## TEST: generation/formula.jl 14.966218 seconds (9.24 M allocations: 483.156 MiB, 1.36% gc time, 89.83% compilation time: 7% of which was recompilation) ################################################## TEST: generation/models.jl 2.257982 seconds (1.14 M allocations: 57.197 MiB, 32.17% gc time, 98.48% 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.197706 seconds (1.26 M allocations: 66.891 MiB, 98.32% compilation time: 24% 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 36.202986 seconds (147.72 M allocations: 5.761 GiB, 3.03% gc time, 51.28% compilation time: 7% of which was recompilation) ################################################## TEST: misc.jl 2.436037 seconds (1.11 M allocations: 60.527 MiB, 92.21% compilation time: 51% of which was recompilation) TEST: util.jl 0.630876 seconds (416.67 k allocations: 22.123 MiB, 9.78% gc time, 96.52% compilation time) Test Summary: | Pass Fail Broken Total Time SoleLogics.jl | 114984 1 16 115001 6m20.0s Core | 164 1 165 37.0s Syntactical | 75 75 5.2s Parse | 122 2 124 21.3s Normalize | 421 421 28.1s Syntax Utils | 130 9 139 18.5s Propositional logic | 77 1 78 26.8s Dict | 9 9 1.0s AbstractArray | 4 4 2.0s TruthDict | 47 1 48 23.3s DefaultedTruthDict | 17 17 0.3s Formula Generation | 105 105 11.3s Formula I/O | 0 0.0s Normal Forms | 7 1 8 1.1s Operators | 26 26 0.9s Interpretation Sets | 24 24 2.2s Modal logic: worlds | 27 3 30 3.9s Modal logic: frames | 0 0.0s Modal logic: relations | 113421 113421 1m26.6s Modal logic: unimodal | 126 126 8.5s Modal logic: multimodal | 25 25 49.2s Modal logic: Kripke word | 0 4.7s Modal logic: Kripke image | 18 18 15.9s Generation: formula | 45 45 15.0s Generation: models | 4 4 2.3s Pluto Demo | 0 2.2s ManyValuedLogics | 80 80 36.2s Miscellaneous | 87 87 3.1s RNG of the outermost testset: Xoshiro(0xd62304d4400fc54c, 0x69de7b3514c3e31e, 0x52ecbfeec0af1ec8, 0x9f7d5645496598f9, 0x0ecb9202438e375d) ERROR: LoadError: Some tests did not pass: 114984 passed, 1 failed, 0 errored, 16 broken. in expression starting at /home/pkgeval/.julia/packages/SoleLogics/GNm5F/test/runtests.jl:54 Testing failed after 565.16s ERROR: LoadError: Package SoleLogics errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:3010 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2859 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:572 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:548 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:172 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:160 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:237 [12] include(mod::Module, _path::String) @ Base ./Base.jl:309 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/evaluate.jl:228 PkgEval failed after 1342.35s: package has test failures