Package evaluation of LogicToolkit on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T11:05:01.764 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.76s ################################################################################ # Installation # Installing LogicToolkit... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [d3a281b0] + LogicToolkit v0.1.0 Updating `~/.julia/environments/v1.11/Manifest.toml` ⌅ [ec485272] + ArnoldiMethod v0.1.0 [34da2185] + Compat v4.16.0 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.4 [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.13 [1e83bf80] + StaticArraysCore v1.4.3 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.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 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra 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 1.73s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 23.17s ################################################################################ # Testing # Testing LogicToolkit Status `/tmp/jl_MQkOug/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.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_MQkOug/Manifest.toml` ⌅ [ec485272] ArnoldiMethod v0.1.0 [34da2185] Compat v4.16.0 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.4 [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.13 [1e83bf80] StaticArraysCore v1.4.3 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.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 [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 [8dfed614] Test v1.11.0 [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. Testing Running tests... Precompiling LogicToolkit... Info Given LogicToolkit was explicitly requested, output will be shown live  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. 2419.0 ms ? 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. 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.11/Test/src/Test.jl:679 [inlined] [2] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:350 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [4] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:348 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [6] macro expansion @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:294 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.11/Test/src/Test.jl:1704 [inlined] [8] top-level scope @ ~/.julia/packages/LogicToolkit/XhdVi/test/runtests.jl:40 Test Summary: | Pass Fail Total Time LogicToolkit.jl | 239 1 240 2m49.6s ModelCheckerTest | 124 124 1m05.6s isEquivalent | 24 24 0.0s Simplifier tests | 41 41 0.1s Tableau tests | 50 1 51 1m43.9s propositional formulas | 5 5 7.0s modal formulas | 6 6 0.0s modal formulas with constraints | 33 33 0.0s modal formulas with infinite branches | 6 1 7 1m36.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 183.75s ERROR: LoadError: Package LogicToolkit 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 234.27s: illegal method overwrites during precompilation