Package evaluation of SoleLogics on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-29T02:56:30.583 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.6s ################################################################################ # Installation # Installing SoleLogics... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [b002da8f] + SoleLogics v0.13.1 Updating `~/.julia/environments/v1.13/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [66dad0bd] + AliasTables v1.1.3 [ec485272] + ArnoldiMethod v0.4.0 [324d7699] + CategoricalArrays v0.10.8 [34da2185] + Compat v4.16.0 [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.4 [1a297f60] + FillArrays v1.13.0 [069b7b12] + FunctionWrappers v1.1.3 [86223c79] + Graphs v1.12.1 [313cdc1a] + Indexing v1.1.1 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.4 [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.0 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [08abe8d2] + PrettyTables v2.4.0 [43287f4e] + PtrArrays v1.3.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [699a6c99] + SimpleTraits v0.9.4 [4475fa32] + SoleBase v0.13.0 [b002da8f] + SoleLogics v0.13.1 [a2af1166] + SortingAlgorithms v1.2.1 [90137ffa] + StaticArrays v1.9.13 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.0 [2913bbd2] + StatsBase v0.34.4 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.0 [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.12.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 v0.7.0 [9e88b42a] + Serialization v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.12.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.12.0+0 Installation completed after 3.76s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/tgnBf/src/julia-1.11/activate_set.jl:63 Precompiling package dependencies... Precompilation completed after 384.52s ################################################################################ # Testing # Testing SoleLogics Test Could not use exact versions of packages in manifest. Re-resolving dependencies Updating `/tmp/jl_NV0v4V/Project.toml` [6e4b80f9] + BenchmarkTools v1.6.0 [a93c6f00] + DataFrames v1.7.0 [7806a523] + DecisionTree v0.12.4 [7f904dfe] + PlutoUI v0.7.62 [123f1ae1] + SoleData v0.16.1 ⌅ [b002da8f] + SoleLogics v0.12.0 [8dfed614] ~ Test ⇒ v1.11.0 Updating `/tmp/jl_NV0v4V/Manifest.toml` [6e696c72] + AbstractPlutoDingetjes v1.3.2 [79e6a3ab] + Adapt v4.3.0 [4fba245c] + ArrayInterface v7.18.0 [6e4b80f9] + BenchmarkTools v1.6.0 [d1d4a3ce] + BitFlags v0.1.9 [336ed68f] + CSV v0.10.15 ⌅ [acdeb78f] + Catch22 v0.6.0 [da1fd8a2] + CodeTracking v1.3.9 [944b1d66] + CodecZlib v0.7.8 ⌅ [3da002f7] + ColorTypes v0.11.5 [f0e56b4a] + ConcurrentUtilities v2.5.0 [187b0558] + ConstructionBase v1.5.8 [a93c6f00] + DataFrames v1.7.0 [e7dc6d0d] + DataValues v0.4.13 [7806a523] + DecisionTree v0.12.4 [8bb1440f] + DelimitedFiles v1.9.1 [0703355e] + DimensionalData v0.29.15 [31c24e10] + Distributions v0.25.119 [460bff9d] + ExceptionUnwrapping v0.1.11 [411431e0] + Extents v0.1.5 [48062228] + FilePathsBase v0.9.24 [53c48c17] + FixedPointNumbers v0.8.5 [cd3eb016] + HTTP v1.10.16 [34004b35] + HypergeometricFunctions v0.3.28 [47d2ed2b] + Hyperscript v0.0.5 [ac1192a8] + HypertextLiteral v0.9.5 [b5f81e59] + IOCapture v0.2.5 [842dd82b] + InlineStrings v1.4.3 [85a1e053] + Interfaces v0.3.2 [8197267c] + IntervalSets v0.7.11 [41ab1584] + InvertedIndices v1.3.1 [1c8ee90f] + IterableTables v1.0.0 [692b3bcd] + JLLWrappers v1.7.0 [682c06a0] + JSON v0.21.4 [aa1ae85d] + JuliaInterpreter v0.10.1 [e6f89c97] + LoggingExtras v1.1.0 [6f1432cf] + LoweredCodeUtils v3.3.0 [6c6e2e6c] + MIMEs v1.1.0 [e80e1ace] + MLJModelInterface v1.11.1 [739be429] + MbedTLS v1.1.9 [8cc5100c] + MultiData v0.1.4 [4d8831e6] + OpenSSL v1.4.3 [90014a1f] + PDMats v0.11.34 [69de0a69] + Parsers v2.8.3 [7f904dfe] + PlutoUI v0.7.62 [2dfb63ee] + PooledArrays v1.4.3 [33c8b6b6] + ProgressLogging v0.1.4 [92933f4c] + ProgressMeter v1.10.4 [1fd47b50] + QuadGK v2.11.2 [1a8c2f83] + Query v1.0.0 [2aef5ad7] + QueryOperators v0.9.3 [3cdcf5f2] + RecipesBase v1.3.4 [295af30f] + Revise v3.7.6 [79098fc4] + Rmath v0.8.0 [321657f4] + ScientificTypes v3.1.0 [30f210dd] + ScientificTypesBase v3.0.0 [6e75b9c4] + ScikitLearnBase v0.5.0 [91c51154] + SentinelArrays v1.4.8 [777ac1f9] + SimpleBufferStream v1.2.0 [123f1ae1] + SoleData v0.16.1 ⌅ [b002da8f] + SoleLogics v0.12.0 [276daf66] + SpecialFunctions v2.5.1 [64bff920] + StatisticalTraits v3.4.0 [4c63d2b9] + StatsFuns v1.5.0 [5e66a065] + TableShowUtils v0.2.6 [382cd787] + TableTraitsUtils v1.0.2 ⌅ [f3112013] + TimeseriesFeatures v0.5.3 [3bb67fe8] + TranscodingStreams v0.11.3 [410a4b4d] + Tricks v0.1.10 [5c2747f8] + URIs v1.5.2 [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.6+2 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [f50d1b31] + Rmath_jll v0.5.1+0 ⌅ [8a07c0c5] + catch22_jll v0.4.0+0 [0dad84c5] + ArgTools v1.1.2 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] + Pkg v1.12.0 [9abbd945] + Profile v1.11.0 [3fa0cd96] + REPL v1.11.0 [4607b0f0] + SuiteSparse [a4e569a6] + Tar v1.10.0 [8dfed614] ~ Test ⇒ v1.11.0 [deac9b47] + LibCURL_jll v8.12.1+1 [e37daf67] + LibGit2_jll v1.9.0+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2024.12.31 [05823500] + OpenLibm_jll v0.8.5+0 [458c3c95] + OpenSSL_jll v3.0.16+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850ede] + nghttp2_jll v1.65.0+0 [3f19e933] + p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_NV0v4V/Project.toml` [1520ce14] AbstractTrees v0.4.5 [6e4b80f9] BenchmarkTools v1.6.0 [a93c6f00] DataFrames v1.7.0 [864edb3b] DataStructures v0.18.22 [7806a523] DecisionTree v0.12.4 [85a47980] Dictionaries v0.4.5 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.12.1 [c8e1da08] IterTools v1.10.0 [50d2b5c4] Lazy v0.15.1 [7f904dfe] PlutoUI v0.7.62 [08abe8d2] PrettyTables v2.4.0 [189a3867] Reexport v1.2.2 [4475fa32] SoleBase v0.13.0 [123f1ae1] SoleData v0.16.1 ⌅ [b002da8f] SoleLogics v0.12.0 [90137ffa] StaticArrays v1.9.13 [2913bbd2] StatsBase v0.34.4 [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_NV0v4V/Manifest.toml` [6e696c72] AbstractPlutoDingetjes v1.3.2 [1520ce14] AbstractTrees v0.4.5 [79e6a3ab] Adapt v4.3.0 [66dad0bd] AliasTables v1.1.3 [ec485272] ArnoldiMethod v0.4.0 [4fba245c] ArrayInterface v7.18.0 [6e4b80f9] BenchmarkTools v1.6.0 [d1d4a3ce] BitFlags v0.1.9 [336ed68f] CSV v0.10.15 ⌅ [acdeb78f] Catch22 v0.6.0 [324d7699] CategoricalArrays v0.10.8 [da1fd8a2] CodeTracking v1.3.9 [944b1d66] CodecZlib v0.7.8 ⌅ [3da002f7] ColorTypes v0.11.5 [34da2185] Compat v4.16.0 [f0e56b4a] ConcurrentUtilities v2.5.0 [187b0558] ConstructionBase v1.5.8 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.7.0 [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.15 [31c24e10] Distributions v0.25.119 [ffbed154] DocStringExtensions v0.9.4 [460bff9d] ExceptionUnwrapping v0.1.11 [411431e0] Extents v0.1.5 [48062228] FilePathsBase v0.9.24 [1a297f60] FillArrays v1.13.0 [53c48c17] FixedPointNumbers v0.8.5 [069b7b12] FunctionWrappers v1.1.3 [86223c79] Graphs v1.12.1 [cd3eb016] HTTP v1.10.16 [34004b35] HypergeometricFunctions v0.3.28 [47d2ed2b] Hyperscript v0.0.5 [ac1192a8] HypertextLiteral v0.9.5 [b5f81e59] IOCapture v0.2.5 [313cdc1a] Indexing v1.1.1 [d25df0c9] Inflate v0.1.5 [842dd82b] InlineStrings v1.4.3 [85a1e053] Interfaces v0.3.2 [8197267c] IntervalSets v0.7.11 [41ab1584] InvertedIndices v1.3.1 [92d709cd] IrrationalConstants v0.2.4 [c8e1da08] IterTools v1.10.0 [1c8ee90f] IterableTables v1.0.0 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [aa1ae85d] JuliaInterpreter v0.10.1 [b964fa9f] LaTeXStrings v1.4.0 [50d2b5c4] Lazy v0.15.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.1.0 [6f1432cf] LoweredCodeUtils v3.3.0 [6c6e2e6c] MIMEs v1.1.0 [e80e1ace] MLJModelInterface v1.11.1 [1914dd2f] MacroTools v0.5.16 [739be429] MbedTLS v1.1.9 [e1d29d7a] Missings v1.2.0 [8cc5100c] MultiData v0.1.4 [4d8831e6] OpenSSL v1.4.3 [bac558e1] OrderedCollections v1.8.0 [90014a1f] PDMats v0.11.34 [69de0a69] Parsers v2.8.3 [7f904dfe] PlutoUI v0.7.62 [2dfb63ee] PooledArrays v1.4.3 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [08abe8d2] PrettyTables v2.4.0 [33c8b6b6] ProgressLogging v0.1.4 [92933f4c] ProgressMeter v1.10.4 [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.7.6 [79098fc4] Rmath v0.8.0 [321657f4] ScientificTypes v3.1.0 [30f210dd] ScientificTypesBase v3.0.0 [6e75b9c4] ScikitLearnBase v0.5.0 [91c51154] SentinelArrays v1.4.8 [777ac1f9] SimpleBufferStream v1.2.0 [699a6c99] SimpleTraits v0.9.4 [4475fa32] SoleBase v0.13.0 [123f1ae1] SoleData v0.16.1 ⌅ [b002da8f] SoleLogics v0.12.0 [a2af1166] SortingAlgorithms v1.2.1 [276daf66] SpecialFunctions v2.5.1 [90137ffa] StaticArrays v1.9.13 [1e83bf80] StaticArraysCore v1.4.3 [64bff920] StatisticalTraits v3.4.0 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.0 [2913bbd2] StatsBase v0.34.4 [4c63d2b9] StatsFuns v1.5.0 [892a3eda] StringManipulation v0.4.1 [5e66a065] TableShowUtils v0.2.6 [3783bdb8] TableTraits v1.0.1 [382cd787] TableTraitsUtils v1.0.2 [bd369af6] Tables v1.12.0 [4239201d] ThreadSafeDicts v0.1.6 ⌅ [f3112013] TimeseriesFeatures v0.5.3 [3bb67fe8] TranscodingStreams v0.11.3 [410a4b4d] Tricks v0.1.10 [5c2747f8] URIs v1.5.2 [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.6+2 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [f50d1b31] Rmath_jll v0.5.1+0 ⌅ [8a07c0c5] catch22_jll v0.4.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 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.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.12.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.12.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.0.16+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.12.0+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Julia version: 1.13.0-DEV.449 ################################################## TEST: core.jl 66.827677 seconds (41.58 M allocations: 2.172 GiB, 1.70% gc time, 98.58% compilation time: 10% of which was recompilation) ################################################## TEST: parse.jl 17.866655 seconds (6.31 M allocations: 334.851 MiB, 0.47% gc time, 89.93% compilation time: <1% of which was recompilation) ################################################## TEST: normalize.jl 32.077719 seconds (16.14 M allocations: 874.555 MiB, 0.74% gc time, 97.94% compilation time) ################################################## TEST: syntax-utils.jl 23.036114 seconds (15.34 M allocations: 806.021 MiB, 0.78% gc time, 90.68% compilation time) ################################################## TEST: formulas/generation.jl 17.226398 seconds (20.98 M allocations: 1.021 GiB, 10.61% gc time, 69.61% compilation time) ################################################## TEST: formulas/input.jl 0.000405 seconds (106 allocations: 34.750 KiB) ################################################## TEST: formulas/normal-forms.jl 1.979681 seconds (813.56 k allocations: 42.492 MiB, 97.60% compilation time) ################################################## TEST: logics/operators.jl 1.045247 seconds (430.46 k allocations: 22.478 MiB, 95.00% compilation time) ################################################## TEST: interpretation-sets.jl 0.511909 seconds (250.12 k allocations: 13.175 MiB, 90.50% compilation time) ################################################## TEST: propositional-logic.jl 5.869183 seconds (2.34 M allocations: 127.988 MiB, 99.91% compilation time) ################################################## TEST: frames/worlds.jl 5.041552 seconds (2.64 M allocations: 138.876 MiB, 3.97% gc time, 80.72% compilation time: 3% of which was recompilation) ################################################## TEST: frames/frames.jl 0.001818 seconds (978 allocations: 70.562 KiB) ################################################## TEST: frames/relations.jl 52.175578 seconds (106.14 M allocations: 5.657 GiB, 3.23% gc time, 74.20% compilation time: <1% of which was recompilation) ################################################## TEST: multi-modal-logic.jl WARNING: Imported binding SoleLogics.LTLFP_F was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LTLFP_P was undeclared at import time during import to Main. MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:9 Test threw exception Expression: collect(accessibles(fr, Point(3), LTLFP_F)) == Point1D{Int64}[Point1D{Int64}((4,)), Point1D{Int64}((5,))] UndefVarError: `LTLFP_F` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LTLFP_F` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:10 Test threw exception Expression: collect(accessibles(fr, Point(3), LTLFP_P)) == Point1D{Int64}[Point1D{Int64}((1,)), Point1D{Int64}((2,))] UndefVarError: `LTLFP_P` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LTLFP_P` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:18 Expression: collect(accessibles(fr, Point(3, 3), CL_N)) == Point2D{Int64}[Point2D{Int64}((3, 4)), Point2D{Int64}((3, 5))] Evaluated: Point2D{Int64}[Point2D{Int64}((4, 3)), Point2D{Int64}((5, 3))] == Point2D{Int64}[Point2D{Int64}((3, 4)), Point2D{Int64}((3, 5))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:731 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [4] IncludeInto @ ./Base.jl:305 [inlined] [5] macro expansion @ ./timing.jl:645 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:19 Expression: collect(accessibles(fr, Point(3, 3), CL_S)) == Point2D{Int64}[Point2D{Int64}((3, 1)), Point2D{Int64}((3, 2))] Evaluated: Point2D{Int64}[Point2D{Int64}((1, 3)), Point2D{Int64}((2, 3))] == Point2D{Int64}[Point2D{Int64}((3, 1)), Point2D{Int64}((3, 2))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:731 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [4] IncludeInto @ ./Base.jl:305 [inlined] [5] macro expansion @ ./timing.jl:645 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:20 Expression: collect(accessibles(fr, Point(3, 3), CL_E)) == Point2D{Int64}[Point2D{Int64}((4, 3)), Point2D{Int64}((5, 3))] Evaluated: Point2D{Int64}[Point2D{Int64}((3, 4)), Point2D{Int64}((3, 5))] == Point2D{Int64}[Point2D{Int64}((4, 3)), Point2D{Int64}((5, 3))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:731 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [4] IncludeInto @ ./Base.jl:305 [inlined] [5] macro expansion @ ./timing.jl:645 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:21 Expression: collect(accessibles(fr, Point(3, 3), CL_W)) == Point2D{Int64}[Point2D{Int64}((1, 3)), Point2D{Int64}((2, 3))] Evaluated: Point2D{Int64}[Point2D{Int64}((3, 1)), Point2D{Int64}((3, 2))] == Point2D{Int64}[Point2D{Int64}((1, 3)), Point2D{Int64}((2, 3))] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:731 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [4] IncludeInto @ ./Base.jl:305 [inlined] [5] macro expansion @ ./timing.jl:645 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:55 Expression: collect(accessibles(fr, Interval(4, 8), IA_O)) == Interval{Int64}[Interval{Int64}(5, 9), Interval{Int64}(5, 10), Interval{Int64}(5, 11), Interval{Int64}(6, 9), Interval{Int64}(6, 10), Interval{Int64}(6, 11), Interval{Int64}(7, 9), Interval{Int64}(7, 10), Interval{Int64}(7, 11)] Evaluated: Interval{Int64}[Interval{Int64}(5, 9) Interval{Int64}(5, 10) Interval{Int64}(5, 11); Interval{Int64}(6, 9) Interval{Int64}(6, 10) Interval{Int64}(6, 11); Interval{Int64}(7, 9) Interval{Int64}(7, 10) Interval{Int64}(7, 11)] == Interval{Int64}[Interval{Int64}(5, 9), Interval{Int64}(5, 10), Interval{Int64}(5, 11), Interval{Int64}(6, 9), Interval{Int64}(6, 10), Interval{Int64}(6, 11), Interval{Int64}(7, 9), Interval{Int64}(7, 10), Interval{Int64}(7, 11)] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:731 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [4] IncludeInto @ ./Base.jl:305 [inlined] [5] macro expansion @ ./timing.jl:645 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:86 Expression: collect(accessibles(fr, Interval(4, 8), IA_Di)) == Interval{Int64}[Interval{Int64}(1, 9), Interval{Int64}(1, 10), Interval{Int64}(1, 11), Interval{Int64}(2, 9), Interval{Int64}(2, 10), Interval{Int64}(2, 11), Interval{Int64}(3, 9), Interval{Int64}(3, 10), Interval{Int64}(3, 11)] Evaluated: Interval{Int64}[Interval{Int64}(1, 9) Interval{Int64}(1, 10) Interval{Int64}(1, 11); Interval{Int64}(2, 9) Interval{Int64}(2, 10) Interval{Int64}(2, 11); Interval{Int64}(3, 9) Interval{Int64}(3, 10) Interval{Int64}(3, 11)] == Interval{Int64}[Interval{Int64}(1, 9), Interval{Int64}(1, 10), Interval{Int64}(1, 11), Interval{Int64}(2, 9), Interval{Int64}(2, 10), Interval{Int64}(2, 11), Interval{Int64}(3, 9), Interval{Int64}(3, 10), Interval{Int64}(3, 11)] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:731 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [4] IncludeInto @ ./Base.jl:305 [inlined] [5] macro expansion @ ./timing.jl:645 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:97 Expression: collect(accessibles(fr, Interval(4, 8), IA_Oi)) == Interval{Int64}[Interval{Int64}(1, 5), Interval{Int64}(1, 6), Interval{Int64}(1, 7), Interval{Int64}(2, 5), Interval{Int64}(2, 6), Interval{Int64}(2, 7), Interval{Int64}(3, 5), Interval{Int64}(3, 6), Interval{Int64}(3, 7)] Evaluated: Interval{Int64}[Interval{Int64}(1, 5) Interval{Int64}(1, 6) Interval{Int64}(1, 7); Interval{Int64}(2, 5) Interval{Int64}(2, 6) Interval{Int64}(2, 7); Interval{Int64}(3, 5) Interval{Int64}(3, 6) Interval{Int64}(3, 7)] == Interval{Int64}[Interval{Int64}(1, 5), Interval{Int64}(1, 6), Interval{Int64}(1, 7), Interval{Int64}(2, 5), Interval{Int64}(2, 6), Interval{Int64}(2, 7), Interval{Int64}(3, 5), Interval{Int64}(3, 6), Interval{Int64}(3, 7)] Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:731 [inlined] [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [4] IncludeInto @ ./Base.jl:305 [inlined] [5] macro expansion @ ./timing.jl:645 [inlined] [6] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [7] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [9] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [11] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 WARNING: Imported binding SoleLogics.LRCC8_Rec_DC was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_EC was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_PO was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_TPP was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_TPPi was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_NTPP was undeclared at import time during import to Main. WARNING: Imported binding SoleLogics.LRCC8_Rec_NTPPi was undeclared at import time during import to Main. MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:117 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((3, 4), (3, 4)), LRCC8_Rec_DC))) == 56 UndefVarError: `LRCC8_Rec_DC` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LRCC8_Rec_DC` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:121 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 3), (2, 3)), LRCC8_Rec_EC))) == 20 UndefVarError: `LRCC8_Rec_EC` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LRCC8_Rec_EC` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:125 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 4), (2, 4)), LRCC8_Rec_PO))) == 40 UndefVarError: `LRCC8_Rec_PO` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LRCC8_Rec_PO` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:129 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 5), (2, 5)), LRCC8_Rec_TPP))) == 34 UndefVarError: `LRCC8_Rec_TPP` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LRCC8_Rec_TPP` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:133 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 6), (2, 6)), LRCC8_Rec_NTPP))) == 9 UndefVarError: `LRCC8_Rec_NTPP` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LRCC8_Rec_NTPP` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:137 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((2, 4), (2, 4)), LRCC8_Rec_TPPi))) == 14 UndefVarError: `LRCC8_Rec_TPPi` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LRCC8_Rec_TPPi` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:141 Test threw exception Expression: length(collect(accessibles(fr, Interval2D((3, 4), (3, 4)), LRCC8_Rec_NTPPi))) == 16 UndefVarError: `LRCC8_Rec_NTPPi` not defined in `Main` Suggestion: this global was defined as `SoleLogics.LRCC8_Rec_NTPPi` but not assigned a value. Stacktrace: [1] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/multi-modal-logic.jl:519 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:728 [inlined] 20.410626 seconds (5.22 M allocations: 288.035 MiB, 0.26% gc time, 59.08% compilation time) ################################################## TEST: generation/formula.jl 16.991087 seconds (9.01 M allocations: 484.035 MiB, 0.96% gc time, 93.43% compilation time) ################################################## TEST: generation/models.jl 1.815573 seconds (1.11 M allocations: 57.761 MiB, 91.36% compilation time) ################################################## TEST: kripke-word.jl 5.161697 seconds (2.48 M allocations: 131.943 MiB, 1.17% gc time, 99.40% compilation time) ################################################## TEST: kripke-image.jl 19.813367 seconds (9.66 M allocations: 503.009 MiB, 0.72% gc time, 99.13% compilation time) ################################################## TEST: /home/pkgeval/.julia/packages/SoleLogics/k4bJN/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 14.282850 seconds (5.88 M allocations: 324.283 MiB, 1.23% gc time, 37.76% compilation time: 49% of which was recompilation) ################################################## TEST: many-valued-logics.jl ManyValuedLogics: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:56 Got exception outside of a @test LoadError: MethodError: no method matching FiniteTruth(::Int64) The type `FiniteTruth` exists, but no method is defined for this combination of argument types when trying to construct it. Closest candidates are: FiniteTruth(!Matched::String) @ SoleLogics ~/.julia/packages/SoleLogics/k4bJN/src/many-valued-logics/finite-algebras.jl:12 Stacktrace: [1] _broadcast_getindex_evalf @ ./broadcast.jl:699 [inlined] [2] _broadcast_getindex @ ./broadcast.jl:672 [inlined] [3] _getindex @ ./broadcast.jl:620 [inlined] [4] getindex @ ./broadcast.jl:616 [inlined] [5] copy @ ./broadcast.jl:933 [inlined] [6] materialize(bc::Base.Broadcast.Broadcasted{Base.Broadcast.DefaultArrayStyle{1}, Nothing, Type{FiniteTruth}, Tuple{UnitRange{Int64}}}) @ Base.Broadcast ./broadcast.jl:894 [7] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/many-valued-logics.jl:18 [8] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [9] IncludeInto @ ./Base.jl:305 [inlined] [10] macro expansion @ ./timing.jl:645 [inlined] [11] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:9 [12] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [14] macro expansion @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:57 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1835 [inlined] [16] top-level scope @ ~/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:52 [17] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:304 [18] top-level scope @ none:6 [19] eval(m::Module, e::Any) @ Core ./boot.jl:489 [20] exec_options(opts::Base.JLOptions) @ Base ./client.jl:297 [21] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/many-valued-logics.jl:18 ################################################## TEST: misc.jl 4.661029 seconds (2.12 M allocations: 119.994 MiB, 1.55% gc time, 95.82% compilation time: 61% of which was recompilation) TEST: util.jl 0.814285 seconds (483.64 k allocations: 26.604 MiB, 95.33% compilation time) Test Summary: | Pass Fail Error Broken Total Time SoleLogics.jl | 239432 7 10 16 239465 5m17.2s Core | 291 1 292 1m06.9s Parse | 101 2 103 17.9s Normalize | 421 421 32.1s Syntax Utils | 130 9 139 23.0s Formula Generation | 105 105 17.2s Formula I/O | 0 0.0s Normal Forms | 6 1 7 2.0s Operators | 26 26 1.0s Interpretation Sets | 7 7 0.5s Propositional Logic | 1 1 5.9s Algebras: worlds | 19 3 22 5.0s Algebras: frames | 0 0.0s Algebras: relations | 238161 238161 52.2s MultiModalLogic | 9 7 9 25 20.4s Generation: formula | 45 45 17.0s Generation: models | 4 4 1.8s Kripke word | 0 5.2s Kripke image | 18 18 19.8s Pluto Demo | 0 14.5s ManyValuedLogics | 2 1 3 3.7s Miscellaneous | 86 86 5.6s RNG of the outermost testset: Xoshiro(0xb79e59e42c3166f6, 0x688296623e7dcea8, 0x5c3321865eb34d81, 0x1831c35582421e6a, 0x67821c0150fa2b59) ERROR: LoadError: Some tests did not pass: 239432 passed, 7 failed, 10 errored, 16 broken. in expression starting at /home/pkgeval/.julia/packages/SoleLogics/6zcWj/test/runtests.jl:51 Testing failed after 336.87s 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:2414 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2269 [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:486 [5] 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:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:303 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:331 [12] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 768.15s: package has test failures