Package evaluation of ComputabilityTheory on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T07:19:02.708 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.84s ################################################################################ # Installation # Installing ComputabilityTheory... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 Updating `~/.julia/environments/v1.11/Manifest.toml` [1aac4ff9] + ComputabilityTheory v0.1.1 [de0858da] + Printf v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 1.07s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 11.71s ################################################################################ # Testing # Testing ComputabilityTheory Status `/tmp/jl_3zpEz5/Project.toml` [1aac4ff9] ComputabilityTheory v0.1.1 [de0858da] Printf v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_3zpEz5/Manifest.toml` [1aac4ff9] ComputabilityTheory v0.1.1 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 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 3.9s 3.976412 seconds (7.02 M allocations: 179.757 MiB, 6.95% gc time, 80.19% compilation time) Testing ComputabilityTheory tests passed Testing completed after 18.23s PkgEval succeeded after 48.57s