Package evaluation of SoleLogics on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T13:45:26.868 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.0s ################################################################################ # Installation # Installing SoleLogics... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [b002da8f] + SoleLogics v0.13.0 Updating `~/.julia/environments/v1.11/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.15 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.0 ⌅ [aea7be01] + PrecompileTools v1.2.1 [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.0 [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 [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 [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.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 2.44s ################################################################################ # 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 385.29s ################################################################################ # 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:1920 Status `/tmp/jl_Bk8kBF/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_Bk8kBF/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.118 [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.15 [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.10 [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.9.42 [b964fa9f] LaTeXStrings v1.4.0 [50d2b5c4] Lazy v0.15.1 [2ab3a3ac] LogExpFunctions v0.3.29 [e6f89c97] LoggingExtras v1.1.0 [6f1432cf] LoweredCodeUtils v3.1.0 [6c6e2e6c] MIMEs v1.1.0 [e80e1ace] MLJModelInterface v1.11.0 [1914dd2f] MacroTools v0.5.15 [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.33 [69de0a69] Parsers v2.8.1 [7f904dfe] PlutoUI v0.7.62 [2dfb63ee] PooledArrays v1.4.3 ⌅ [aea7be01] PrecompileTools v1.2.1 [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.3 [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.0 [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.4.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 [458c3c95] OpenSSL_jll v3.0.16+0 [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.6.0 [7b1f6079] FileWatching v1.11.0 [9fa8497b] Future v1.11.0 [b77e0a4c] InteractiveUtils 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 ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Julia version: 1.11.4 ################################################## TEST: core.jl 76.377790 seconds (35.33 M allocations: 1.769 GiB, 0.70% gc time, 97.85% compilation time: 2% of which was recompilation) ################################################## TEST: parse.jl 20.084964 seconds (6.39 M allocations: 326.648 MiB, 1.53% gc time, 97.52% compilation time) ################################################## TEST: normalize.jl 38.499719 seconds (16.00 M allocations: 835.264 MiB, 0.65% gc time, 98.58% compilation time) ################################################## TEST: syntax-utils.jl 29.722266 seconds (16.00 M allocations: 823.631 MiB, 0.81% gc time, 98.33% compilation time) ################################################## TEST: formulas/generation.jl 15.774580 seconds (21.97 M allocations: 1.029 GiB, 9.35% gc time, 71.31% compilation time) ################################################## TEST: formulas/input.jl 0.000471 seconds (122 allocations: 35.367 KiB) ################################################## TEST: formulas/normal-forms.jl 2.704875 seconds (974.82 k allocations: 49.370 MiB, 14.99% gc time, 98.19% compilation time) ################################################## TEST: logics/operators.jl 0.575959 seconds (305.81 k allocations: 15.095 MiB, 91.58% compilation time) ################################################## TEST: interpretation-sets.jl 48.009214 seconds (17.20 M allocations: 909.837 MiB, 1.81% gc time, 64.09% compilation time: 8% of which was recompilation) ################################################## TEST: propositional-logic.jl 4.977590 seconds (1.02 M allocations: 53.928 MiB, 99.89% compilation time) ################################################## TEST: frames/worlds.jl 3.851578 seconds (1.92 M allocations: 97.081 MiB, 1.63% gc time, 95.79% compilation time: 5% of which was recompilation) ################################################## TEST: frames/frames.jl 0.001874 seconds (944 allocations: 65.375 KiB) ################################################## TEST: frames/relations.jl 54.967080 seconds (138.45 M allocations: 6.757 GiB, 2.28% gc time, 71.33% compilation time: 1% of which was recompilation) ################################################## TEST: multi-modal-logic.jl WARNING: could not import SoleLogics.LTLFP_F into Main WARNING: could not import SoleLogics.LTLFP_P into Main MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:679 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [3] include @ ./sysimg.jl:38 [inlined] [4] macro expansion @ ./timing.jl:581 [inlined] [5] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [6] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [10] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:679 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [3] include @ ./sysimg.jl:38 [inlined] [4] macro expansion @ ./timing.jl:581 [inlined] [5] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [6] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [10] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:679 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [3] include @ ./sysimg.jl:38 [inlined] [4] macro expansion @ ./timing.jl:581 [inlined] [5] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [6] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [10] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:679 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [3] include @ ./sysimg.jl:38 [inlined] [4] macro expansion @ ./timing.jl:581 [inlined] [5] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [6] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [10] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:679 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [3] include @ ./sysimg.jl:38 [inlined] [4] macro expansion @ ./timing.jl:581 [inlined] [5] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [6] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [10] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:679 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [3] include @ ./sysimg.jl:38 [inlined] [4] macro expansion @ ./timing.jl:581 [inlined] [5] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [6] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [10] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 MultiModalLogic: Test Failed at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:679 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 [3] include @ ./sysimg.jl:38 [inlined] [4] macro expansion @ ./timing.jl:581 [inlined] [5] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [6] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [10] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 WARNING: could not import SoleLogics.LRCC8_Rec_DC into Main WARNING: could not import SoleLogics.LRCC8_Rec_EC into Main WARNING: could not import SoleLogics.LRCC8_Rec_PO into Main WARNING: could not import SoleLogics.LRCC8_Rec_TPP into Main WARNING: could not import SoleLogics.LRCC8_Rec_TPPi into Main WARNING: could not import SoleLogics.LRCC8_Rec_NTPP into Main WARNING: could not import SoleLogics.LRCC8_Rec_NTPPi into Main MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 MultiModalLogic: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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` Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:676 [inlined] [2] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/multi-modal-logic.jl:515 13.016080 seconds (3.26 M allocations: 176.240 MiB, 0.38% gc time, 74.36% compilation time: <1% of which was recompilation) ################################################## TEST: generation/formula.jl 21.206045 seconds (9.21 M allocations: 479.263 MiB, 0.53% gc time, 98.44% compilation time: 12% of which was recompilation) ################################################## TEST: generation/models.jl 2.628395 seconds (1.23 M allocations: 62.597 MiB, 98.59% compilation time) ################################################## TEST: kripke-word.jl 7.636911 seconds (2.79 M allocations: 153.015 MiB, 0.73% gc time, 99.55% compilation time: 12% of which was recompilation) ################################################## TEST: kripke-image.jl 22.852469 seconds (9.73 M allocations: 488.753 MiB, 0.51% gc time, 99.15% compilation time: <1% of which was recompilation) ################################################## TEST: /home/pkgeval/.julia/packages/SoleLogics/k4bJN/pluto-demo.jl Precompiling PlutoUI... 9993.5 ms ✓ PlutoUI 1 dependency successfully precompiled in 11 seconds. 42 already precompiled. Plain: ¬(p ∧ q) Function notation: ¬(∧(p, q)) With mare paretheses: ¬(((p)) ∧ ((q))) Producing formula of height 3... p Simplifying... p (¬p ∧ q) ⊕ p p 13.407067 seconds (1.31 M allocations: 76.243 MiB, 0.43% gc time, 23.48% compilation time: 3% of which was recompilation) ################################################## TEST: many-valued-logics.jl ManyValuedLogics: Error During Test at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/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:678 [inlined] [2] _broadcast_getindex @ ./broadcast.jl:651 [inlined] [3] getindex @ ./broadcast.jl:610 [inlined] [4] copy @ ./broadcast.jl:911 [inlined] [5] materialize(bc::Base.Broadcast.Broadcasted{Base.Broadcast.DefaultArrayStyle{1}, Nothing, Type{FiniteTruth}, Tuple{UnitRange{Int64}}}) @ Base.Broadcast ./broadcast.jl:872 [6] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/many-valued-logics.jl:18 [7] include @ ./sysimg.jl:38 [inlined] [8] macro expansion @ ./timing.jl:581 [inlined] [9] run_tests(list::Vector{String}) @ Main ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:9 [10] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [12] macro expansion @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:57 [inlined] [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [14] top-level scope @ ~/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:52 [15] include(fname::String) @ Main ./sysimg.jl:38 [16] top-level scope @ none:6 [17] eval @ ./boot.jl:430 [inlined] [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:296 [19] _start() @ Base ./client.jl:531 in expression starting at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/many-valued-logics.jl:18 ################################################## TEST: misc.jl 3.437914 seconds (1.15 M allocations: 59.217 MiB, 94.64% compilation time: 43% of which was recompilation) TEST: util.jl 1.143067 seconds (577.48 k allocations: 30.339 MiB, 97.52% compilation time) Test Summary: | Pass Fail Error Broken Total Time SoleLogics.jl | 239435 7 10 16 239468 6m27.6s Core | 291 1 292 1m16.5s Parse | 101 2 103 20.1s Normalize | 421 421 38.5s Syntax Utils | 130 9 139 29.7s Formula Generation | 105 105 15.8s Formula I/O | 0 0.0s Normal Forms | 6 1 7 2.7s Operators | 26 26 0.6s Interpretation Sets | 10 10 48.0s Propositional Logic | 1 1 5.0s Algebras: worlds | 19 3 22 3.9s Algebras: frames | 0 0.0s Algebras: relations | 238161 238161 55.0s MultiModalLogic | 9 7 9 25 13.0s Generation: formula | 45 45 21.2s Generation: models | 4 4 2.6s Kripke word | 0 7.6s Kripke image | 18 18 22.9s Pluto Demo | 0 13.4s ManyValuedLogics | 2 1 3 6.6s Miscellaneous | 86 86 4.6s ERROR: LoadError: Some tests did not pass: 239435 passed, 7 failed, 10 errored, 16 broken. in expression starting at /home/pkgeval/.julia/packages/SoleLogics/1V8WN/test/runtests.jl:51 Testing failed after 407.37s ERROR: LoadError: Package SoleLogics errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.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.11/Pkg/src/Operations.jl:2124 [3] test @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2007 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.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.11/Pkg/src/API.jl:481 [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:159 [6] test @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:147 [inlined] [7] #test#74 @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:146 [inlined] [8] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 821.94s: package has test failures