Package evaluation of PAndQ on Julia 1.13.0-DEV.897 (a39797a4fb*) started at 2025-07-24T13:58:28.358 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.79s ################################################################################ # 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.2 [21216c6a] + Preferences v1.4.3 [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.0+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 Installation completed after 4.33s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 57.79s ################################################################################ # Testing # Testing PAndQ Status `/tmp/jl_3Igrh7/Project.toml` [e30172f5] Documenter v1.14.1 [23fbe1c1] Latexify v0.16.8 [0e9bd771] PAndQ v0.3.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_3Igrh7/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [1520ce14] AbstractTrees v0.4.5 [944b1d66] CodecZlib v0.7.8 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [e2d170a0] DataValueInterfaces v1.0.0 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.14.1 [1fa38f19] Format v1.3.7 [d7ba0133] Git v1.4.0 [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.8 [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.2 [21216c6a] Preferences v1.4.3 [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 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.6.5+0 [f8c6e375] Git_jll v2.50.1+0 [94ce4f54] Libiconv_jll v1.18.0+0 [9bd350c2] OpenSSH_jll v10.0.1+0 [6b231c3b] libpicosat_jll v965.0.0+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 v0.6.4 [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 v0.7.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.14.1+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.7.15 [458c3c95] OpenSSL_jll v3.5.1+0 [efcefdf7] PCRE2_jll v10.45.0+0 [83775a58] Zlib_jll v1.3.1+2 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Testing Running tests... Precompiling packages... 1516.4 ms ✓ libpicosat_jll 31247.0 ms ✓ PAndQ 2 dependencies successfully precompiled in 33 seconds. 26 already precompiled. Precompiling packages... 5790.1 ms ✓ PAndQ → LatexifyExtension 1 dependency successfully precompiled in 6 seconds. 33 already precompiled. Test Summary: | Total Time `detect_ambiguities` and `detect_unbound_args` | 0 1.7s ┌ 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/eoWm2/src/utilities/utilities.jl:665 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. ┌ Error: doctest failure in ../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 ../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 ../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 ../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: doctest failure in ../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 ../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 ../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: 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/eoWm2/src/builder_pipeline.jl:213 │ [3] dispatch(::Type{Documenter.Builder.DocumentPipeline}, x::Documenter.Document) │ @ Documenter.Selectors ~/.julia/packages/Documenter/eoWm2/src/utilities/Selectors.jl:170 │ [4] #89 │ @ ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:280 [inlined] │ [5] withenv(::Documenter.var"#89#90"{Documenter.Document}, ::Pair{String, Nothing}, ::Vararg{Pair{String, Nothing}}) │ @ Base ./env.jl:265 │ [6] #87 │ @ ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:279 [inlined] │ [7] cd(f::Documenter.var"#87#88"{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/eoWm2/src/makedocs.jl:278 │ [9] (::Documenter.var"#all_doctests#141"{Bool, Vector{Regex}, Vector{Documenter.Plugin}, Vector{Module}})() │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:85 │ [10] macro expansion │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] │ [11] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] │ [12] macro expansion │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] │ [13] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1858 [inlined] │ [14] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 │ [15] doctest │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:69 [inlined] │ [16] doctest(package::Module; manual::Bool, testset::Nothing, kwargs::@Kwargs{}) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:37 │ [17] doctest(package::Module) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:20 │ [18] top-level scope │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:13 │ [19] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1858 [inlined] │ [20] macro expansion │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:15 [inlined] │ [21] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:312 │ [22] top-level scope │ @ none:6 │ [23] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [24] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:286 │ [25] _start() │ @ Base ./client.jl:553 └ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:99 Doctests: PAndQ: Test Failed at /home/pkgeval/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 Expression: all_doctests() Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:741 [inlined] [2] macro expansion @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1858 [inlined] [4] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 ┌ 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/eoWm2/src/utilities/utilities.jl:665 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. ┌ Error: doctest failure in ../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 ../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/eoWm2/src/builder_pipeline.jl:213 │ [3] dispatch(::Type{Documenter.Builder.DocumentPipeline}, x::Documenter.Document) │ @ Documenter.Selectors ~/.julia/packages/Documenter/eoWm2/src/utilities/Selectors.jl:170 │ [4] #89 │ @ ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:280 [inlined] │ [5] withenv(::Documenter.var"#89#90"{Documenter.Document}, ::Pair{String, Nothing}, ::Vararg{Pair{String, Nothing}}) │ @ Base ./env.jl:265 │ [6] #87 │ @ ~/.julia/packages/Documenter/eoWm2/src/makedocs.jl:279 [inlined] │ [7] cd(f::Documenter.var"#87#88"{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/eoWm2/src/makedocs.jl:278 │ [9] (::Documenter.var"#all_doctests#141"{Bool, Vector{Regex}, Vector{Documenter.Plugin}, Vector{Module}})() │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:85 │ [10] macro expansion │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] │ [11] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:738 [inlined] │ [12] macro expansion │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] │ [13] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1858 [inlined] │ [14] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 │ [15] doctest │ @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:69 [inlined] │ [16] doctest(package::Module; manual::Bool, testset::Nothing, kwargs::@Kwargs{}) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:37 │ [17] doctest(package::Module) │ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:20 │ [18] top-level scope │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:13 │ [19] macro expansion │ @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1858 [inlined] │ [20] macro expansion │ @ ~/.julia/packages/PAndQ/NSdzF/test/runtests.jl:26 [inlined] │ [21] include(mapexpr::Function, mod::Module, _path::String) │ @ Base ./Base.jl:312 │ [22] top-level scope │ @ none:6 │ [23] eval(m::Module, e::Any) │ @ Core ./boot.jl:489 │ [24] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:286 │ [25] _start() │ @ Base ./client.jl:553 └ @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:99 Doctests: LatexifyExtension: Test Failed at /home/pkgeval/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 Expression: all_doctests() Stacktrace: [1] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:741 [inlined] [2] macro expansion @ ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1858 [inlined] [4] doctest(source::String, modules::Vector{Module}; fix::Bool, testset::String, doctestfilters::Vector{Regex}, plugins::Vector{Documenter.Plugin}) @ Documenter ~/.julia/packages/Documenter/eoWm2/src/doctest.jl:110 Test Summary: | Fail Total Time `doctest` | 2 2 1m56.3s Doctests: PAndQ | 1 1 1m52.5s Doctests: LatexifyExtension | 1 1 0.4s RNG of the outermost testset: Random.Xoshiro(0x1112b79982e0a2ac, 0xcd01f61a23bebe54, 0x2ada97f43869e853, 0x1b9a774f243acbb3, 0x0f96d4d705c9f92c) 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 177.61s 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:2661 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2510 [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:538 [5] 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:168 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:156 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:155 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:311 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:320 [12] _start() @ Base ./client.jl:553 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 265.07s: package has test failures