Package evaluation to test PAndQ on Julia 1.13.0-DEV.1353 (74c32ec0b5*) started at 2025-10-21T13:50:49.792 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.53s ################################################################################ # Installation # Installing PAndQ... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [0e9bd771] + PAndQ v0.3.1 Updating `~/.julia/environments/v1.13/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [b964fa9f] + LaTeXStrings v1.4.0 [bac558e1] + OrderedCollections v1.8.1 [0e9bd771] + PAndQ v0.3.1 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 ⌅ [08abe8d2] + PrettyTables v2.4.0 [189a3867] + Reexport v1.2.2 [b873ce64] + ReplMaker v0.2.7 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [6b231c3b] + libpicosat_jll v965.0.1+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [3fa0cd96] + REPL v1.11.0 [6462fe0b] + Sockets v1.11.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.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 5.66s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 67.4s ################################################################################ # Testing # Testing PAndQ Status `/tmp/jl_EKP61Z/Project.toml` ⌃ [e30172f5] Documenter v1.1.1 [23fbe1c1] Latexify v0.16.10 [0e9bd771] PAndQ v0.3.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_EKP61Z/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [1520ce14] AbstractTrees v0.4.5 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [e2d170a0] DataValueInterfaces v1.0.0 [ffbed154] DocStringExtensions v0.9.5 ⌃ [e30172f5] Documenter v1.1.1 [1fa38f19] Format v1.3.7 [b5f81e59] IOCapture v0.2.5 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 ⌅ [682c06a0] JSON v0.21.4 [b964fa9f] LaTeXStrings v1.4.0 [23fbe1c1] Latexify v0.16.10 [0e77f7df] LazilyInitializedFields v1.3.0 [1914dd2f] MacroTools v0.5.16 [d0879d2d] MarkdownAST v0.1.2 [bac558e1] OrderedCollections v1.8.1 [0e9bd771] PAndQ v0.3.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.0 ⌅ [08abe8d2] PrettyTables v2.4.0 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [b873ce64] ReplMaker v0.2.7 [ae029012] Requires v1.3.1 [892a3eda] StringManipulation v0.4.1 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [61579ee1] Ghostscript_jll v9.55.1+0 [aacddb02] JpegTurbo_jll v3.1.3+0 [6b231c3b] libpicosat_jll v965.0.1+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [f489334b] StyledStrings v1.11.0 [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.16.0+0 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.9.9 [458c3c95] OpenSSL_jll v3.5.4+0 [efcefdf7] PCRE2_jll v10.46.0+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850ede] nghttp2_jll v1.67.1+0 [3f19e933] p7zip_jll v17.6.0+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... Test Summary: | Total Time `detect_ambiguities` and `detect_unbound_args` | 0 1.5s WARNING: Detected access to binding `Interface.##docmeta#140` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. WARNING: Detected access to binding `PicoSAT.##docmeta#140` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. WARNING: Detected access to binding `PAndQ.##docmeta#140` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/utilities/utilities.jl:711 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26-62 │ │ ```jldoctest │ julia> ¬⊤ │ ¬⊤ │ │ julia> @atomize p ∧ q → $1 ∨ $(1 + 1) │ (p ∧ q) → ($(1) ∨ $(2)) │ │ julia> @variables p q │ 2-element Vector{PAndQ.Variable}: │ p │ q │ │ julia> r = p ↔ q │ p ↔ q │ │ julia> interpret(p => ⊤, r) │ ⊤ ↔ q │ │ julia> collect(only(solutions(p ∧ q))) │ 2-element Vector{Pair{PAndQ.Variable, Bool}}: │ PAndQ.Variable(:p) => 1 │ PAndQ.Variable(:q) => 1 │ │ julia> s = normalize(∧, r) │ (¬p ∨ q) ∧ (¬q ∨ p) │ │ julia> print_table(p ∧ ¬p, ¬p, r, s) │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ ``` │ │ Subexpression: │ │ s = normalize(∧, r) │ │ Evaluated output: │ │ (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ Expected output: │ │ (¬p ∨ q) ∧ (¬q ∨ p) │ │ diff = │ Warning: Diff output requires color. │ (¬p (p ∨ q) ¬q) ∧ (¬q (q ∨ p)¬p) └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26 ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26-62 │ │ ```jldoctest │ julia> ¬⊤ │ ¬⊤ │ │ julia> @atomize p ∧ q → $1 ∨ $(1 + 1) │ (p ∧ q) → ($(1) ∨ $(2)) │ │ julia> @variables p q │ 2-element Vector{PAndQ.Variable}: │ p │ q │ │ julia> r = p ↔ q │ p ↔ q │ │ julia> interpret(p => ⊤, r) │ ⊤ ↔ q │ │ julia> collect(only(solutions(p ∧ q))) │ 2-element Vector{Pair{PAndQ.Variable, Bool}}: │ PAndQ.Variable(:p) => 1 │ PAndQ.Variable(:q) => 1 │ │ julia> s = normalize(∧, r) │ (¬p ∨ q) ∧ (¬q ∨ p) │ │ julia> print_table(p ∧ ¬p, ¬p, r, s) │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ ``` │ │ Subexpression: │ │ print_table(p ∧ ¬p, ¬p, r, s) │ │ Evaluated output: │ │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (¬p ∨ q) ∧ (¬q ∨ p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ │ Expected output: │ │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ │ diff = │ Warning: Diff output requires color. │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p (¬p ∨ ¬q) q) ∧ (q (¬q ∨ ¬p) p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26 ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/src/propositions.jl:131-140 │ │ ```jldoctest │ julia> PAndQ.Clause(∧, PAndQ.Atom[], Set{Int}()) │ ⊤ │ │ julia> @atomize PAndQ.Clause(∧, [p], Set(1)) │ p │ │ julia> @atomize PAndQ.Clause(∨, [p, q], Set([1, -2])) │ ¬q ∨ p │ ``` │ │ Subexpression: │ │ @atomize PAndQ.Clause(∨, [p, q], Set([1, -2])) │ │ Evaluated output: │ │ p ∨ ¬q │ │ Expected output: │ │ ¬q ∨ p │ │ diff = │ Warning: Diff output requires color. │ ¬q p ∨ p¬q └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/src/propositions.jl:131 ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/src/propositions.jl:165-171 │ │ ```jldoctest │ julia> PAndQ.Normal(∧, PAndQ.Atom[], Set{Set{Int}}()) │ ⊤ │ │ julia> @atomize PAndQ.Normal(∧, [p, q], Set(map(Set, ((1, 2), (-1, -2))))) │ (¬p ∨ ¬q) ∧ (p ∨ q) │ ``` │ │ Subexpression: │ │ @atomize PAndQ.Normal(∧, [p, q], Set(map(Set, ((1, 2), (-1, -2))))) │ │ Evaluated output: │ │ (p ∨ q) ∧ (¬p ∨ ¬q) │ │ Expected output: │ │ (¬p ∨ ¬q) ∧ (p ∨ q) │ │ diff = │ Warning: Diff output requires color. │ (¬p (p ∨ ¬q) q) ∧ (p (¬p ∨ q)¬q) └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/src/propositions.jl:165 ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/src/printing.jl:224-247 │ │ ```jldoctest │ julia> @atomize print_tree(p ∧ q ∨ ¬s) │ ∨ │ ├─ ∧ │ │ ├─ 𝒾 │ │ │ └─ p │ │ └─ 𝒾 │ │ └─ q │ └─ ¬ │ └─ s │ │ julia> @atomize print_tree(normalize(∧, p ∧ q ∨ ¬s)) │ ∧ │ ├─ ∨ │ │ ├─ ¬ │ │ │ └─ s │ │ └─ 𝒾 │ │ └─ q │ └─ ∨ │ ├─ ¬ │ │ └─ s │ └─ 𝒾 │ └─ p │ ``` │ │ Subexpression: │ │ @atomize print_tree(normalize(∧, p ∧ q ∨ ¬s)) │ │ Evaluated output: │ │ ∧ │ ├─ ∨ │ │ ├─ 𝒾 │ │ │ └─ p │ │ └─ ¬ │ │ └─ s │ └─ ∨ │ ├─ 𝒾 │ │ └─ q │ └─ ¬ │ └─ s │ │ Expected output: │ │ ∧ │ ├─ ∨ │ │ ├─ ¬ │ │ │ └─ s │ │ └─ 𝒾 │ │ └─ q │ └─ ∨ │ ├─ ¬ │ │ └─ s │ └─ 𝒾 │ └─ p │ │ diff = │ Warning: Diff output requires color. │ ∧ │ ├─ ∨ │ │ ├─ ¬ │ 𝒾 │ │ │ └─ s │ p │ │ └─ 𝒾 │ ¬ │ │ └─ q │ s │ └─ ∨ │ ├─ ¬ │ 𝒾 │ │ └─ s │ q │ └─ 𝒾 │ ¬ │ └─ ps └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/src/printing.jl:224 ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/src/propositions.jl:647-653 │ │ ```jldoctest │ julia> @atomize normalize(∧, ¬(p ∨ q)) │ (¬p) ∧ (¬q) │ │ julia> @atomize normalize(∨, p ↔ q) │ (¬q ∧ ¬p) ∨ (q ∧ p) │ ``` │ │ Subexpression: │ │ @atomize normalize(∨, p ↔ q) │ │ Evaluated output: │ │ (p ∧ q) ∨ (¬p ∧ ¬q) │ │ Expected output: │ │ (¬q ∧ ¬p) ∨ (q ∧ p) │ │ diff = │ Warning: Diff output requires color. │ (¬q (p ∧ ¬p) q) ∨ (q (¬p ∧ p)¬q) └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/src/propositions.jl:647 ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/src/printing.jl:260-270 │ │ ```jldoctest │ julia> @atomize print_dimacs(p ∧ q) │ p cnf 2 2 │ 1 0 │ 2 0 │ │ julia> @atomize print_dimacs(p ↔ q) │ p cnf 2 2 │ 1 -2 0 │ -1 2 0 │ ``` │ │ Subexpression: │ │ @atomize print_dimacs(p ∧ q) │ │ Evaluated output: │ │ p cnf 2 2 │ 2 0 │ 1 0 │ │ Expected output: │ │ p cnf 2 2 │ 1 0 │ 2 0 │ │ diff = │ Warning: Diff output requires color. │ p cnf 2 2 │ 1 0 │ 2 0 │ 1 0 └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/src/printing.jl:260 ┌ Error: Doctesting failed │ exception = │ `makedocs` encountered a doctest error. Terminating build │ Stacktrace: │ [1] error(s::String) │ @ Base ./error.jl:44 │ [2] runner(::Type{Documenter.Builder.Doctest}, doc::Documenter.Document) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/builder_pipeline.jl:212 │ [3] dispatch(::Type{Documenter.Builder.DocumentPipeline}, x::Documenter.Document) │ @ Documenter.Selectors ~/.julia/packages/Documenter/cxHBW/src/utilities/Selectors.jl:170 │ [4] #76 │ @ ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:248 [inlined] │ [5] withenv(::Documenter.var"#76#77"{Documenter.Document}, ::Pair{String, Nothing}, ::Vararg{Pair{String, Nothing}}) │ @ Base ./env.jl:265 │ [6] #74 │ @ ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:247 [inlined] │ [7] cd(f::Documenter.var"#74#75"{Documenter.Document}, dir::String) │ @ Base.Filesystem ./file.jl:112 │ [8] makedocs(; debug::Bool, format::Documenter.HTMLWriter.HTML, kwargs::@Kwargs{root::String, source::String, sitename::String, doctest::Symbol, modules::Vector{Module}, doctestfilters::Vector{Regex}, remotes::Nothing, plugins::Vector{Documenter.Plugin}}) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:247 │ [9] kwcall(::@NamedTuple{root::String, source::String, sitename::String, doctest::Symbol, modules::Vector{Module}, doctestfilters::Vector{Regex}, remotes::Nothing, plugins::Vector{Documenter.Plugin}}, ::typeof(Documenter.makedocs)) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:241 │ [10] (::Documenter.var"#all_doctests#123"{Bool, Vector{Regex}, Vector{Documenter.Plugin}, Vector{Module}})() │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:82 │ [11] macro expansion │ @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 [inlined] │ [12] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:750 [inlined] │ [13] macro expansion │ @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 [inlined] │ [14] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1961 [inlined] │ [15] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 │ [16] doctest │ @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:66 [inlined] │ [17] doctest(package::Module; manual::Bool, testset::Nothing, kwargs::@Kwargs{}) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:34 │ [18] doctest(package::Module) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:20 │ [19] top-level scope │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:13 │ [20] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1961 [inlined] │ [21] macro expansion │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:15 [inlined] │ [22] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:310 │ [23] top-level scope │ @ none:6 │ [24] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [25] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:310 │ [26] _start() │ @ Base ./client.jl:577 └ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:96 Doctests: PAndQ: Test Failed at /home/pkgeval/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 Expression: all_doctests() Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:753 [inlined] [2] macro expansion @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1961 [inlined] [4] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 WARNING: Detected access to binding `LatexifyExtension.##docmeta#140` in a world prior to its definition world. Julia 1.12 has introduced more strict world age semantics for global bindings. !!! This code may malfunction under Revise. !!! This code will error in future versions of Julia. Hint: Add an appropriate `invokelatest` around the access to this binding. To make this warning an error, and hence obtain a stack trace, use `julia --depwarn=error`. ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/utilities/utilities.jl:711 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26-62 │ │ ```jldoctest │ julia> ¬⊤ │ ¬⊤ │ │ julia> @atomize p ∧ q → $1 ∨ $(1 + 1) │ (p ∧ q) → ($(1) ∨ $(2)) │ │ julia> @variables p q │ 2-element Vector{PAndQ.Variable}: │ p │ q │ │ julia> r = p ↔ q │ p ↔ q │ │ julia> interpret(p => ⊤, r) │ ⊤ ↔ q │ │ julia> collect(only(solutions(p ∧ q))) │ 2-element Vector{Pair{PAndQ.Variable, Bool}}: │ PAndQ.Variable(:p) => 1 │ PAndQ.Variable(:q) => 1 │ │ julia> s = normalize(∧, r) │ (¬p ∨ q) ∧ (¬q ∨ p) │ │ julia> print_table(p ∧ ¬p, ¬p, r, s) │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ ``` │ │ Subexpression: │ │ s = normalize(∧, r) │ │ Evaluated output: │ │ (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ Expected output: │ │ (¬p ∨ q) ∧ (¬q ∨ p) │ │ diff = │ Warning: Diff output requires color. │ (¬p (p ∨ q) ¬q) ∧ (¬q (q ∨ p)¬p) └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26 ┌ Error: doctest failure in ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26-62 │ │ ```jldoctest │ julia> ¬⊤ │ ¬⊤ │ │ julia> @atomize p ∧ q → $1 ∨ $(1 + 1) │ (p ∧ q) → ($(1) ∨ $(2)) │ │ julia> @variables p q │ 2-element Vector{PAndQ.Variable}: │ p │ q │ │ julia> r = p ↔ q │ p ↔ q │ │ julia> interpret(p => ⊤, r) │ ⊤ ↔ q │ │ julia> collect(only(solutions(p ∧ q))) │ 2-element Vector{Pair{PAndQ.Variable, Bool}}: │ PAndQ.Variable(:p) => 1 │ PAndQ.Variable(:q) => 1 │ │ julia> s = normalize(∧, r) │ (¬p ∨ q) ∧ (¬q ∨ p) │ │ julia> print_table(p ∧ ¬p, ¬p, r, s) │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ ``` │ │ Subexpression: │ │ print_table(p ∧ ¬p, ¬p, r, s) │ │ Evaluated output: │ │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (¬p ∨ q) ∧ (¬q ∨ p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ │ Expected output: │ │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p ∨ ¬q) ∧ (q ∨ ¬p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ │ │ diff = │ Warning: Diff output requires color. │ ┌────────┬───┬───┬────┬────────────────────────────┐ │ │ p ∧ ¬p │ p │ q │ ¬p │ p ↔ q, (p (¬p ∨ ¬q) q) ∧ (q (¬q ∨ ¬p) p) │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ ⊤ │ │ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ ⊥ │ │ ├────────┼───┼───┼────┼────────────────────────────┤ │ │ ⊥ │ ⊤ │ ⊥ │ ⊥ │ ⊥ │ │ │ ⊥ │ ⊥ │ ⊥ │ ⊤ │ ⊤ │ │ └────────┴───┴───┴────┴────────────────────────────┘ └ @ Documenter ~/.julia/packages/PAndQ/NSdzF/docs/src/index.md:26 ┌ Error: Doctesting failed │ exception = │ `makedocs` encountered a doctest error. Terminating build │ Stacktrace: │ [1] error(s::String) │ @ Base ./error.jl:44 │ [2] runner(::Type{Documenter.Builder.Doctest}, doc::Documenter.Document) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/builder_pipeline.jl:212 │ [3] dispatch(::Type{Documenter.Builder.DocumentPipeline}, x::Documenter.Document) │ @ Documenter.Selectors ~/.julia/packages/Documenter/cxHBW/src/utilities/Selectors.jl:170 │ [4] #76 │ @ ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:248 [inlined] │ [5] withenv(::Documenter.var"#76#77"{Documenter.Document}, ::Pair{String, Nothing}, ::Vararg{Pair{String, Nothing}}) │ @ Base ./env.jl:265 │ [6] #74 │ @ ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:247 [inlined] │ [7] cd(f::Documenter.var"#74#75"{Documenter.Document}, dir::String) │ @ Base.Filesystem ./file.jl:112 │ [8] makedocs(; debug::Bool, format::Documenter.HTMLWriter.HTML, kwargs::@Kwargs{root::String, source::String, sitename::String, doctest::Symbol, modules::Vector{Module}, doctestfilters::Vector{Regex}, remotes::Nothing, plugins::Vector{Documenter.Plugin}}) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:247 │ [9] kwcall(::@NamedTuple{root::String, source::String, sitename::String, doctest::Symbol, modules::Vector{Module}, doctestfilters::Vector{Regex}, remotes::Nothing, plugins::Vector{Documenter.Plugin}}, ::typeof(Documenter.makedocs)) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/makedocs.jl:241 │ [10] (::Documenter.var"#all_doctests#123"{Bool, Vector{Regex}, Vector{Documenter.Plugin}, Vector{Module}})() │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:82 │ [11] macro expansion │ @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 [inlined] │ [12] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:750 [inlined] │ [13] macro expansion │ @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 [inlined] │ [14] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1961 [inlined] │ [15] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 │ [16] doctest │ @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:66 [inlined] │ [17] doctest(package::Module; manual::Bool, testset::Nothing, kwargs::@Kwargs{}) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:34 │ [18] doctest(package::Module) │ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:20 │ [19] top-level scope │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:13 │ [20] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1961 [inlined] │ [21] macro expansion │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:26 [inlined] │ [22] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:310 │ [23] top-level scope │ @ none:6 │ [24] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [25] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:310 │ [26] _start() │ @ Base ./client.jl:577 └ @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:96 Doctests: LatexifyExtension: Test Failed at /home/pkgeval/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 Expression: all_doctests() Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:753 [inlined] [2] macro expansion @ ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1961 [inlined] [4] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) @ Documenter ~/.julia/packages/Documenter/cxHBW/src/doctest.jl:107 Test Summary: | Fail Total Time `doctest` | 2 2 1m44.8s Doctests: PAndQ | 1 1 1m42.2s Doctests: LatexifyExtension | 1 1 0.4s RNG of the outermost testset: Random.Xoshiro(0x699e6fa6bde646b6, 0x5b19ed329df7e07b, 0x3982883334613f7f, 0xbcd8898658ab2fea, 0xc464a2eb0a627508) ERROR: LoadError: Some tests did not pass: 0 passed, 2 failed, 0 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/PAndQ/NSdzF/test/runtests.jl:12 Testing failed after 128.98s ERROR: LoadError: Package PAndQ 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:2674 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2523 [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:548 [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.13/Pkg/src/API.jl:525 [6] 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:172 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.13/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.13/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [12] include(mod::Module, _path::String) @ Base ./Base.jl:309 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 228.78s: package has test failures