Package evaluation to test LogicToolkit on Julia 1.14.0-DEV.1893 (b4aba01002*) started at 2026-03-15T16:13:01.013 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 13.54s ################################################################################ # Installation # Installing LogicToolkit... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [d3a281b0] + LogicToolkit v0.1.0 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌅ [ec485272] + ArnoldiMethod v0.1.0 [34da2185] + Compat v4.18.1 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.5 [d25df0c9] + Inflate v0.1.5 [92d709cd] + IrrationalConstants v0.2.6 [093fc24a] + LightGraphs v1.3.5 [2ab3a3ac] + LogExpFunctions v0.3.29 [d3a281b0] + LogicToolkit v0.1.0 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.1 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [699a6c99] + SimpleTraits v0.9.5 [a2af1166] + SortingAlgorithms v1.2.2 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.8.0 ⌅ [2913bbd2] + StatsBase v0.33.21 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap v1.11.0 [de0858da] + Printf 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.13.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.30+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.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 1.54s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 4162.4 ms ✓ ArnoldiMethod 9391.6 ms ✓ LightGraphs 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. 3279.3 ms ? LogicToolkit 2 dependencies successfully precompiled in 17 seconds. 40 already precompiled. 9 dependencies precompiled but different versions are currently loaded (Base64, Dates, JuliaSyntaxHighlighting, Logging, Markdown, Printf, StyledStrings, TOML and UUIDs). Restart julia to access the new versions. Otherwise, 15 dependents of these packages may trigger further precompilation to work with the unexpected versions. 1 dependencies failed but may be precompilable after restarting julia 1 dependency had output during precompilation: ┌ LogicToolkit │ 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. └ Precompilation completed after 35.29s ################################################################################ # Testing # Testing LogicToolkit Status `/tmp/jl_3KdNK9/Project.toml` [093fc24a] LightGraphs v1.3.5 [d3a281b0] LogicToolkit v0.1.0 [10745b16] Statistics v1.11.1 ⌅ [2913bbd2] StatsBase v0.33.21 [37e2e46d] LinearAlgebra v1.13.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_3KdNK9/Manifest.toml` ⌅ [ec485272] ArnoldiMethod v0.1.0 [34da2185] Compat v4.18.1 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [d25df0c9] Inflate v0.1.5 [92d709cd] IrrationalConstants v0.2.6 [093fc24a] LightGraphs v1.3.5 [2ab3a3ac] LogExpFunctions v0.3.29 [d3a281b0] LogicToolkit v0.1.0 [1914dd2f] MacroTools v0.5.16 [e1d29d7a] Missings v1.2.0 [bac558e1] OrderedCollections v1.8.1 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.2 [699a6c99] SimpleTraits v0.9.5 [a2af1166] SortingAlgorithms v1.2.2 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.8.0 ⌅ [2913bbd2] StatsBase v0.33.21 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.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 [de0858da] Printf 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.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.30+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [8e850b90] libblastrampoline_jll v5.15.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. 1 dependency had output during precompilation: ┌ LogicToolkit │ [Output was shown above] └ 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] top-level scope @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:40 [2] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [3] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:294 [inlined] [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [5] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:348 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2243 [inlined] [7] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:350 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Test Summary: | Pass Fail Total Time LogicToolkit.jl | 239 1 240 2m42.0s ModelCheckerTest | 124 124 1m07.3s isEquivalent | 24 24 0.2s Simplifier tests | 41 41 0.0s Tableau tests | 50 1 51 1m34.4s propositional formulas | 5 5 5.4s modal formulas | 6 6 0.0s modal formulas with constraints | 33 33 0.0s modal formulas with infinite branches | 6 1 7 1m29.0s RNG of the outermost testset: Random.Xoshiro(0x3b2a6e583c92a0ea, 0x6ba2eb31dabf3e8c, 0x5c71cb754976f19d, 0x40dc4abc611e6106, 0x1252345ee3f7bbc9) 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 182.63s ERROR: LoadError: Package LogicToolkit errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/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.14/Pkg/src/Operations.jl:3138 [3] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3003 [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.14/Pkg/src/API.jl:586 [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.14/Pkg/src/API.jl:562 [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/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.14/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.14/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.14/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [12] include(mod::Module, _path::String) @ Base ./Base.jl:323 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:585 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 253.73s: illegal method overwrites during precompilation