Package evaluation of ComputabilityTheory on Julia 1.10.9 (96dc2d8c45*) started at 2025-06-06T11:36:29.801 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.1s ################################################################################ # Installation # Installing ComputabilityTheory... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 Updating `~/.julia/environments/v1.10/Manifest.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 [de0858da] + Printf [4ec0a83e] + Unicode Installation completed after 3.85s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 9.94s ################################################################################ # Testing # Testing ComputabilityTheory Status `/tmp/jl_m0f9vh/Project.toml` [1aac4ff9] ComputabilityTheory v0.1.1 [de0858da] Printf [8dfed614] Test Status `/tmp/jl_m0f9vh/Manifest.toml` [1aac4ff9] ComputabilityTheory v0.1.1 [2a0f44e3] Base64 [b77e0a4c] InteractiveUtils [56ddb016] Logging [d6f4376e] Markdown [de0858da] Printf [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [8dfed614] Test [4ec0a83e] Unicode Testing Running tests... WARNING: Method definition ∸(Number, Number) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:15 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:24 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:25 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:26 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Algebra})() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:32 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Base.Val{n}, Integer) where {n} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:40 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:61 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:67 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:71 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:86 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:101 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:111 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:112 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Tuple{Integer, Integer}) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:115 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ∸(Number, Number) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:15 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:24 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:25 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:26 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Algebra})() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:32 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Base.Val{n}, Integer) where {n} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:40 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:61 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:67 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:71 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:86 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:101 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:111 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:112 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Tuple{Integer, Integer}) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:115 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(AbstractArray{var"#s7", N} where N where var"#s7"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ∸(Number, Number) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:15 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:24 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Integer, Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:25 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition pair_tuple(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:26 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Algebra})() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:32 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Base.Val{n}, Integer) where {n} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:40 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:61 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:67 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:71 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:86 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Base.Irrational{:π})(Integer, Integer, Integer, ComputabilityTheory.Algebra) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:101 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:108 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:111 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(AbstractArray{var"#s36", N} where N where var"#s36"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:112 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ(Tuple{Integer, Integer}) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:115 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition cℤ⁻¹(AbstractArray{var"#s36", N} where N where var"#s36"<:Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/coding.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Instruction})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:44 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Instruction})(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:59 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Instruction})(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:83 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:91 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:98 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Integer, Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:117 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.Sequence})(Integer, Integer...) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:118 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition increment(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:121 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition decrement(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:122 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition goto(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:123 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ifzero_goto(Tuple) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:124 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition ifzero_goto(Integer, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:125 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition halt() in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:126 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition (::Type{ComputabilityTheory.GoToProgramme})(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:135 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(IO, ComputabilityTheory.GoToProgramme) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:180 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(IO, Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:214 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(ComputabilityTheory.GoToProgramme) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:217 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition show_programme(Integer) in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:218 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition rand(Type{T}, Integer) where {T<:ComputabilityTheory.GoToProgramme} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:220 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition kwcall(NamedTuple{names, T} where T<:Tuple where names, typeof(Base.rand), Type{T}, Integer) where {T<:ComputabilityTheory.GoToProgramme} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:220 overwritten on the same line (check for duplicate calls to `include`). WARNING: Method definition rand(Type{T}) where {T<:ComputabilityTheory.GoToProgramme} in module ComputabilityTheory at /home/pkgeval/.julia/packages/ComputabilityTheory/U9kIr/src/goto.jl:225 overwritten on the same line (check for duplicate calls to `include`). Test Summary: | Pass Total Time ComputabilityTheory.jl | 44 44 5.0s 5.157054 seconds (20.10 M allocations: 405.169 MiB, 13.89% gc time, 58.89% compilation time) Testing ComputabilityTheory tests passed Testing completed after 17.97s PkgEval succeeded after 40.15s