Package evaluation of LogicToolkit on Julia 1.10.8 (92f03a4775*) started at 2025-02-25T07:12:09.911 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.19s ################################################################################ # Installation # Installing LogicToolkit... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [d3a281b0] + LogicToolkit v0.1.0 Updating `~/.julia/environments/v1.10/Manifest.toml` ⌅ [ec485272] + ArnoldiMethod v0.1.0 [34da2185] + Compat v4.16.0 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.18.20 [ffbed154] + DocStringExtensions v0.9.3 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.4 [093fc24a] + LightGraphs v1.3.5 [2ab3a3ac] + LogExpFunctions v0.3.29 [d3a281b0] + LogicToolkit v0.1.0 [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 [699a6c99] + SimpleTraits v0.9.4 [a2af1166] + SortingAlgorithms v1.2.1 [90137ffa] + StaticArrays v1.9.12 [1e83bf80] + StaticArraysCore v1.4.3 [82ae8749] + StatsAPI v1.7.0 ⌅ [2913bbd2] + StatsBase v0.33.21 [56f22d72] + Artifacts [2a0f44e3] + Base64 [ade2ca70] + Dates [8ba89e20] + Distributed [b77e0a4c] + InteractiveUtils [76f85450] + LibGit2 [8f399da3] + Libdl [37e2e46d] + LinearAlgebra [d6f4376e] + Markdown [a63ad114] + Mmap [ca575930] + NetworkOptions v1.2.0 [de0858da] + Printf [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization [1a1011a3] + SharedArrays [6462fe0b] + Sockets [2f01184e] + SparseArrays v1.10.0 [10745b16] + Statistics v1.10.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs [4ec0a83e] + Unicode [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [e37daf67] + LibGit2_jll v1.6.4+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.2+1 [4536629a] + OpenBLAS_jll v0.3.23+4 [bea87d4a] + SuiteSparse_jll v7.2.1+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.95s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 19.67s ################################################################################ # Testing # Testing LogicToolkit Status `/tmp/jl_0bw7LY/Project.toml` [093fc24a] LightGraphs v1.3.5 [d3a281b0] LogicToolkit v0.1.0 ⌅ [2913bbd2] StatsBase v0.33.21 [37e2e46d] LinearAlgebra [9a3f8284] Random [10745b16] Statistics v1.10.0 [8dfed614] Test Status `/tmp/jl_0bw7LY/Manifest.toml` ⌅ [ec485272] ArnoldiMethod v0.1.0 [34da2185] Compat v4.16.0 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.18.20 [ffbed154] DocStringExtensions v0.9.3 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.4 [093fc24a] LightGraphs v1.3.5 [2ab3a3ac] LogExpFunctions v0.3.29 [d3a281b0] LogicToolkit v0.1.0 [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 [699a6c99] SimpleTraits v0.9.4 [a2af1166] SortingAlgorithms v1.2.1 [90137ffa] StaticArrays v1.9.12 [1e83bf80] StaticArraysCore v1.4.3 [82ae8749] StatsAPI v1.7.0 ⌅ [2913bbd2] StatsBase v0.33.21 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [8ba89e20] Distributed [b77e0a4c] InteractiveUtils [76f85450] LibGit2 [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [a63ad114] Mmap [ca575930] NetworkOptions v1.2.0 [de0858da] Printf [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [1a1011a3] SharedArrays [6462fe0b] Sockets [2f01184e] SparseArrays v1.10.0 [10745b16] Statistics v1.10.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [e37daf67] LibGit2_jll v1.6.4+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.2+1 [4536629a] OpenBLAS_jll v0.3.23+4 [bea87d4a] SuiteSparse_jll v7.2.1+1 [8e850b90] libblastrampoline_jll v5.11.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... WARNING: Method definition validate() in module LogicToolkit at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:61 overwritten at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:70. ERROR: Method overwriting is not permitted during Module precompilation. Use `__precompile__(false)` to opt-out of precompilation. WARNING: Method definition validate() in module LogicToolkit at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:61 overwritten at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/src/Tableau-solver/interface.jl:70. modal formulas with infinite branches: Test Failed at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:350 Expression: validate("◻ ( p ↔ ◻ ⊥ )", "", "s4") == false Evaluated: nothing == false Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:672 [inlined] [2] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:350 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1577 [inlined] [4] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:348 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1577 [inlined] [6] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:294 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1577 [inlined] [8] top-level scope @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:40 Test Summary: | Pass Fail Total Time LogicToolkit.jl | 239 1 240 8m58.3s ModelCheckerTest | 124 124 7m26.3s isEquivalent | 24 24 0.0s Simplifier tests | 41 41 0.1s Tableau tests | 50 1 51 1m31.7s propositional formulas | 5 5 3.9s modal formulas | 6 6 0.0s modal formulas with constraints | 33 33 0.0s modal formulas with infinite branches | 6 1 7 1m27.8s ERROR: LoadError: Some tests did not pass: 239 passed, 1 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:39 Testing failed after 548.99s ERROR: LoadError: Package LogicToolkit errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Types.jl:70 [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.10/Pkg/src/Operations.jl:2034 [3] test @ /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Operations.jl:1915 [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::Base.PipeEndpoint}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:444 [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::Base.PipeEndpoint, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:159 [6] test @ /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:147 [inlined] [7] #test#74 @ /opt/julia/share/julia/stdlib/v1.10/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 588.52s: illegal method overwrites during precompilation