Package evaluation to test VerifyMacros on Julia 1.14.0-DEV.2593 (15c2b67521*) started at 2026-07-03T15:41:07.644 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.23s ################################################################################ # Installation # Installing VerifyMacros... Resolving package versions... Installed Preferences ───── v1.5.2 Installed PrecompileTools ─ v1.3.4 Installed VerifyMacros ──── v0.1.1 Updating `~/.julia/environments/v1.14/Project.toml` [af467e45] + VerifyMacros v0.1.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [af467e45] + VerifyMacros v0.1.1 [ade2ca70] + Dates v1.11.0 [de0858da] + Printf v1.11.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [4ec0a83e] + Unicode v1.11.0 Installation completed after 1.39s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 9.0 s ✓ TestEnv 1 dependency successfully precompiled in 9 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 32.2 s ✓ Preferences 2.1 s ✓ Compat 30.9 s ✓ PrecompileTools 1.0 s ✓ Compat → CompatLinearAlgebraExt 33.2 s ✓ VerifyMacros 48.6 s ✓ Aqua 6 dependencies successfully precompiled in 148 seconds. 30 already precompiled. Precompilation completed after 194.35s ################################################################################ # Testing # Testing VerifyMacros Status `/tmp/jl_5PhmdK/Project.toml` ⌃ [4c88cf16] Aqua v0.8.14 [af467e45] VerifyMacros v0.1.1 `~/.julia/packages/VerifyMacros/0xRqU/` [8dfed614] Test v1.11.0 Status `/tmp/jl_5PhmdK/Manifest.toml` ⌃ [4c88cf16] Aqua v0.8.14 [34da2185] Compat v4.18.1 ⌃ [aea7be01] PrecompileTools v1.3.3 ⌃ [21216c6a] Preferences v1.5.1 [af467e45] VerifyMacros v0.1.1 `~/.julia/packages/VerifyMacros/0xRqU/` [0dad84c5] ArgTools v1.2.0 [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.13.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 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.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.5.5+2 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [458c3c95] OpenSSL_jll v3.5.7+0 [efcefdf7] PCRE2_jll v10.47.0+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌃ have new versions available and may be upgradable. Testing Running tests... ┌ Info: JuliaLowering threw given input: │ code = │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:5 =# @testset "VerifyMacros.jl" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:6 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:6 =# @testset "Aqua" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:7 =# │ Aqua.test_all(VerifyMacros) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:10 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:10 =# @testset "Type Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:11 =# │ x = 1.0 │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:13 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:13 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:13 =# @verifytype(x, Float64)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:14 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:14 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:14 =# @verifytype(x, Real)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:17 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:17 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:17 =# @verifytype(x, Int) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:20 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:20 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:20 =# @verifytypes((1.0, Float64), (1, Int))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:23 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:23 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:23 =# @verifytypes((1.0, Int), (1, Int)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:26 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:26 =# @testset "Key Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:27 =# │ d = Dict(:a => 1, :b => 2) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:29 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:29 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:29 =# @verifykey(d, :a)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:30 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:30 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:30 =# @verifykey(d, :b)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:33 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:33 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:33 =# @verifykey(d, :c) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:36 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:36 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:36 =# @verifykeys((d, :a), (d, :b))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:39 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:39 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:39 =# @verifykeys((d, :a), (d, :c)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:42 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:42 =# @testset "Property Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:43 =# │ struct PropTest │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:44 =# │ p::Int │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:47 =# │ pt = PropTest(1) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:50 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:50 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:50 =# @verifyproperty(pt, :p)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:53 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:53 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:53 =# @verifyproperty(pt, :q) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:56 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:56 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:56 =# @verifyproperties((pt, :p))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:59 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:59 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:59 =# @verifyproperties((pt, :q)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:62 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:62 =# @testset "Supertype Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:64 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:64 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:64 =# @verifysupertype(Int, Integer)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:65 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:65 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:65 =# @verifysupertype(Float64, Real)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:68 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:68 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:68 =# @verifysupertype(Int, AbstractFloat) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:71 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:71 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:71 =# @verifysupertypes((Int, Integer), (Float64, Real))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:74 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:74 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:74 =# @verifysupertypes((Int, Integer), (Int, AbstractFloat)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:77 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:77 =# @testset "Axes Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:78 =# │ A = [1, 2] │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:80 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:80 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:80 =# @verifyaxes(A, (1:2,))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:83 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:83 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:83 =# @verifyaxes(A, (1:3,)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:86 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:86 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:86 =# @verifyaxesm((A, (1:2,)))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:89 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:89 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:89 =# @verifyaxesm((A, (1:3,))) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:92 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:92 =# @testset "Field Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:93 =# │ struct FieldTest │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:94 =# │ f::Int │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:99 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:99 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:99 =# @verifyfield(FieldTest, :f)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:102 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:102 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:102 =# @verifyfield(FieldTest, :g) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:105 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:105 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:105 =# @verifyfields((FieldTest, :f))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:108 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:108 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:108 =# @verifyfields((FieldTest, :f), (FieldTest, :g)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:111 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:111 =# @testset "Membership Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:112 =# │ C = [1, 2, 3] │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:113 =# │ e = 1 │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:116 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:116 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:116 =# @verifyin(e, C)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:117 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:117 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:117 =# @verifyin(2, C)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:120 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:120 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:120 =# @verifyin(4, C) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:123 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:123 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:123 =# @verifyins((1, C), (2, C))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:126 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:126 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:126 =# @verifyins((1, C), (4, C)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:129 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:129 =# @testset "Equality Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:130 =# │ x = 5 │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:132 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:132 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:132 =# @verifyequal(x, 5)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:135 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:135 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:135 =# @verifyequal(x, 6) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:138 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:138 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:138 =# @verifyequals((x, 5), (10, 10))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:139 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:139 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:139 =# @verifyequals((x, 5), (x, 6)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:142 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:142 =# @testset "Length Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:143 =# │ col = [1, 2, 3] │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:145 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:145 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:145 =# @verifylength(col, 3)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:148 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:148 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:148 =# @verifylength(col, 2) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:151 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:151 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:151 =# @verifylengths((col, 3), ([], 0))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:152 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:152 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:152 =# @verifylengths((col, 3), (col, 2)) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:155 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:155 =# @testset "Size Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:156 =# │ arr = [1 2; 3 4] │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:158 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:158 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:158 =# @verifysize(arr, (2, 2))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:161 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:161 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:161 =# @verifysize(arr, (2, 3)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:164 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:164 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:164 =# @verifysizes((arr, (2, 2)))) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:165 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:165 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:165 =# @verifysizes((arr, (2, 3))) │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:168 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:168 =# @testset "FileSystem Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:170 =# │ (tmpfile, io) = mktemp() │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:171 =# │ close(io) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:172 =# │ tmpdir = mktempdir() │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:174 =# │ try │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:176 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:176 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:176 =# @verifyisfile(tmpfile)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:178 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:178 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:178 =# @verifyisfile(tmpdir) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:179 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:179 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:179 =# @verifyisfile("non_existent_file") │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:182 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:182 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:182 =# @verifyisdir(tmpdir)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:184 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:184 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:184 =# @verifyisdir(tmpfile) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:185 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:185 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:185 =# @verifyisdir("non_existent_dir") │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:188 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:188 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:188 =# @verifyisfiles(tmpfile)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:189 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:189 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:189 =# @verifyisdirs(tmpdir)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:191 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:191 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:191 =# @verifyisfiles((tmpfile, "temp file"))) │ finally │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:194 =# │ rm(tmpfile, force = true) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:195 =# │ rm(tmpdir, recursive = true, force = true) │ end │ end │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:199 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:199 =# @testset "Generic Verification" begin │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:200 =# │ x = 10 │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:202 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:202 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:202 =# @verifytrue(x > 5)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:205 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:205 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:205 =# @verifytrue(x < 5) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:208 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:208 =# @test isnothing(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:208 =# @verifytrues(x > 5, x == 10)) │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:209 =# │ #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:209 =# @test_throws ErrorException #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:209 =# @verifytrues(x > 5, x < 5) │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,context,syntax_flags,name_val,meta,value,jl_source,is_toplevel_thunk,source │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:5 =#) :: Value | │ "VerifyMacros.jl" :: Value | │ [block] | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:6 =#) :: Value | │ "Aqua" :: Value | │ [block] | │ [call] | │ [.] | │ Aqua :: Identifier | │ [inert] | │ test_all :: Identifier | │ VerifyMacros :: Identifier | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:10 =#) :: Value | │ "Type Verification" :: Value | │ [block] | │ [=] | │ x :: Identifier | │ 1.0 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:13 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifytype :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:13 =#) :: Value | │ x :: Identifier | │ Float64 :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:14 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifytype :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:14 =#) :: Value | │ x :: Identifier | │ Real :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:17 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifytype :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:17 =#) :: Value | │ x :: Identifier | │ Int :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:20 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifytypes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:20 =#) :: Value | │ [tuple] | │ 1.0 :: Value | │ Float64 :: Identifier | │ [tuple] | │ 1 :: Value | │ Int :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:23 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifytypes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:23 =#) :: Value | │ [tuple] | │ 1.0 :: Value | │ Int :: Identifier | │ [tuple] | │ 1 :: Value | │ Int :: Identifier | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:26 =#) :: Value | │ "Key Verification" :: Value | │ [block] | │ [=] | │ d :: Identifier | │ [call] | │ Dict :: Identifier | │ [call] | │ => :: Identifier | │ [inert] | │ a :: Identifier | │ 1 :: Value | │ [call] | │ => :: Identifier | │ [inert] | │ b :: Identifier | │ 2 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:29 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifykey :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:29 =#) :: Value | │ d :: Identifier | │ [inert] | │ a :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:30 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifykey :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:30 =#) :: Value | │ d :: Identifier | │ [inert] | │ b :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:33 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifykey :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:33 =#) :: Value | │ d :: Identifier | │ [inert] | │ c :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:36 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifykeys :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:36 =#) :: Value | │ [tuple] | │ d :: Identifier | │ [inert] | │ a :: Identifier | │ [tuple] | │ d :: Identifier | │ [inert] | │ b :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:39 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifykeys :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:39 =#) :: Value | │ [tuple] | │ d :: Identifier | │ [inert] | │ a :: Identifier | │ [tuple] | │ d :: Identifier | │ [inert] | │ c :: Identifier | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:42 =#) :: Value | │ "Property Verification" :: Value | │ [block] | │ [struct] | │ false :: Value | │ PropTest :: Identifier | │ [block] | │ [::] | │ p :: Identifier | │ Int :: Identifier | │ [=] | │ pt :: Identifier | │ [call] | │ PropTest :: Identifier | │ 1 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:50 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyproperty :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:50 =#) :: Value | │ pt :: Identifier | │ [inert] | │ p :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:53 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyproperty :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:53 =#) :: Value | │ pt :: Identifier | │ [inert] | │ q :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:56 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyproperties :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:56 =#) :: Value | │ [tuple] | │ pt :: Identifier | │ [inert] | │ p :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:59 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyproperties :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:59 =#) :: Value | │ [tuple] | │ pt :: Identifier | │ [inert] | │ q :: Identifier | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:62 =#) :: Value | │ "Supertype Verification" :: Value | │ [block] | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:64 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifysupertype :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:64 =#) :: Value | │ Int :: Identifier | │ Integer :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:65 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifysupertype :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:65 =#) :: Value | │ Float64 :: Identifier | │ Real :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:68 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifysupertype :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:68 =#) :: Value | │ Int :: Identifier | │ AbstractFloat :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:71 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifysupertypes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:71 =#) :: Value | │ [tuple] | │ Int :: Identifier | │ Integer :: Identifier | │ [tuple] | │ Float64 :: Identifier | │ Real :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:74 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifysupertypes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:74 =#) :: Value | │ [tuple] | │ Int :: Identifier | │ Integer :: Identifier | │ [tuple] | │ Int :: Identifier | │ AbstractFloat :: Identifier | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:77 =#) :: Value | │ "Axes Verification" :: Value | │ [block] | │ [=] | │ A :: Identifier | │ [vect] | │ 1 :: Value | │ 2 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:80 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyaxes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:80 =#) :: Value | │ A :: Identifier | │ [tuple] | │ [call] | │ : :: Identifier | │ 1 :: Value | │ 2 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:83 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyaxes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:83 =#) :: Value | │ A :: Identifier | │ [tuple] | │ [call] | │ : :: Identifier | │ 1 :: Value | │ 3 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:86 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyaxesm :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:86 =#) :: Value | │ [tuple] | │ A :: Identifier | │ [tuple] | │ [call] | │ : :: Identifier | │ 1 :: Value | │ 2 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:89 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyaxesm :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:89 =#) :: Value | │ [tuple] | │ A :: Identifier | │ [tuple] | │ [call] | │ : :: Identifier | │ 1 :: Value | │ 3 :: Value | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:92 =#) :: Value | │ "Field Verification" :: Value | │ [block] | │ [struct] | │ false :: Value | │ FieldTest :: Identifier | │ [block] | │ [::] | │ f :: Identifier | │ Int :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:99 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyfield :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:99 =#) :: Value | │ FieldTest :: Identifier | │ [inert] | │ f :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:102 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyfield :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:102 =#) :: Value | │ FieldTest :: Identifier | │ [inert] | │ g :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:105 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyfields :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:105 =#) :: Value | │ [tuple] | │ FieldTest :: Identifier | │ [inert] | │ f :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:108 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyfields :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:108 =#) :: Value | │ [tuple] | │ FieldTest :: Identifier | │ [inert] | │ f :: Identifier | │ [tuple] | │ FieldTest :: Identifier | │ [inert] | │ g :: Identifier | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:111 =#) :: Value | │ "Membership Verification" :: Value | │ [block] | │ [=] | │ C :: Identifier | │ [vect] | │ 1 :: Value | │ 2 :: Value | │ 3 :: Value | │ [=] | │ e :: Identifier | │ 1 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:116 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyin :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:116 =#) :: Value | │ e :: Identifier | │ C :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:117 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyin :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:117 =#) :: Value | │ 2 :: Value | │ C :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:120 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyin :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:120 =#) :: Value | │ 4 :: Value | │ C :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:123 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyins :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:123 =#) :: Value | │ [tuple] | │ 1 :: Value | │ C :: Identifier | │ [tuple] | │ 2 :: Value | │ C :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:126 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyins :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:126 =#) :: Value | │ [tuple] | │ 1 :: Value | │ C :: Identifier | │ [tuple] | │ 4 :: Value | │ C :: Identifier | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:129 =#) :: Value | │ "Equality Verification" :: Value | │ [block] | │ [=] | │ x :: Identifier | │ 5 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:132 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyequal :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:132 =#) :: Value | │ x :: Identifier | │ 5 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:135 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyequal :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:135 =#) :: Value | │ x :: Identifier | │ 6 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:138 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyequals :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:138 =#) :: Value | │ [tuple] | │ x :: Identifier | │ 5 :: Value | │ [tuple] | │ 10 :: Value | │ 10 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:139 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyequals :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:139 =#) :: Value | │ [tuple] | │ x :: Identifier | │ 5 :: Value | │ [tuple] | │ x :: Identifier | │ 6 :: Value | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:142 =#) :: Value | │ "Length Verification" :: Value | │ [block] | │ [=] | │ col :: Identifier | │ [vect] | │ 1 :: Value | │ 2 :: Value | │ 3 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:145 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifylength :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:145 =#) :: Value | │ col :: Identifier | │ 3 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:148 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifylength :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:148 =#) :: Value | │ col :: Identifier | │ 2 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:151 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifylengths :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:151 =#) :: Value | │ [tuple] | │ col :: Identifier | │ 3 :: Value | │ [tuple] | │ [vect] | │ 0 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:152 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifylengths :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:152 =#) :: Value | │ [tuple] | │ col :: Identifier | │ 3 :: Value | │ [tuple] | │ col :: Identifier | │ 2 :: Value | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:155 =#) :: Value | │ "Size Verification" :: Value | │ [block] | │ [=] | │ arr :: Identifier | │ [vcat] | │ [row] | │ 1 :: Value | │ 2 :: Value | │ [row] | │ 3 :: Value | │ 4 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:158 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifysize :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:158 =#) :: Value | │ arr :: Identifier | │ [tuple] | │ 2 :: Value | │ 2 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:161 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifysize :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:161 =#) :: Value | │ arr :: Identifier | │ [tuple] | │ 2 :: Value | │ 3 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:164 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifysizes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:164 =#) :: Value | │ [tuple] | │ arr :: Identifier | │ [tuple] | │ 2 :: Value | │ 2 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:165 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifysizes :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:165 =#) :: Value | │ [tuple] | │ arr :: Identifier | │ [tuple] | │ 2 :: Value | │ 3 :: Value | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:168 =#) :: Value | │ "FileSystem Verification" :: Value | │ [block] | │ [=] | │ [tuple] | │ tmpfile :: Identifier | │ io :: Identifier | │ [call] | │ mktemp :: Identifier | │ [call] | │ close :: Identifier | │ io :: Identifier | │ [=] | │ tmpdir :: Identifier | │ [call] | │ mktempdir :: Identifier | │ [try] | │ [block] | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:176 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyisfile :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:176 =#) :: Value | │ tmpfile :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:178 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyisfile :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:178 =#) :: Value | │ tmpdir :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:179 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyisfile :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:179 =#) :: Value | │ "non_existent_file" :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:182 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyisdir :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:182 =#) :: Value | │ tmpdir :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:184 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyisdir :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:184 =#) :: Value | │ tmpfile :: Identifier | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:185 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifyisdir :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:185 =#) :: Value | │ "non_existent_dir" :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:188 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyisfiles :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:188 =#) :: Value | │ tmpfile :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:189 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyisdirs :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:189 =#) :: Value | │ tmpdir :: Identifier | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:191 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifyisfiles :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:191 =#) :: Value | │ [tuple] | │ tmpfile :: Identifier | │ "temp file" :: Value | │ false :: Value | │ false :: Value | │ [block] | │ [call] | │ rm :: Identifier | │ tmpfile :: Identifier | │ [kw] | │ force :: Identifier | │ true :: Value | │ [call] | │ rm :: Identifier | │ tmpdir :: Identifier | │ [kw] | │ recursive :: Identifier | │ true :: Value | │ [kw] | │ force :: Identifier | │ true :: Value | │ [macrocall] | │ @testset :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:199 =#) :: Value | │ "Generic Verification" :: Value | │ [block] | │ [=] | │ x :: Identifier | │ 10 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:202 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifytrue :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:202 =#) :: Value | │ [call] | │ > :: Identifier | │ x :: Identifier | │ 5 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:205 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifytrue :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:205 =#) :: Value | │ [call] | │ < :: Identifier | │ x :: Identifier | │ 5 :: Value | │ [macrocall] | │ @test :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:208 =#) :: Value | │ [call] | │ isnothing :: Identifier | │ [macrocall] | │ @verifytrues :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:208 =#) :: Value | │ [call] | │ > :: Identifier | │ x :: Identifier | │ 5 :: Value | │ [call] | │ == :: Identifier | │ x :: Identifier | │ 10 :: Value | │ [macrocall] | │ @test_throws :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:209 =#) :: Value | │ ErrorException :: Identifier | │ [macrocall] | │ @verifytrues :: Identifier | │ :(#= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:209 =#) :: Value | │ [call] | │ > :: Identifier | │ x :: Identifier | │ 5 :: Value | │ [call] | │ < :: Identifier | │ x :: Identifier | │ 5 :: Value | │ │ st1 = nothing │ file = "/home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl" │ line = 5 └ mod = Main ERROR: LoadError: MacroExpansionError while expanding VerifyMacros.@_verifytype_internal in module Main: #= /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/src/verify.jl:142 =# - Macro not found Caused by: UndefVarError: `@_verifytype_internal` not defined in `VerifyMacros` Suggestion: check for spelling errors or missing imports. Stacktrace: [1] eval_macro_name(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, mctx::Base.JuliaLowering.MacroContext, st0::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:187 [2] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:218 [3] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 [4] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 [5] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 [6] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 [7] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ┌ [8] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├ [9] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ╰───── repeated 11 times [30] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 [31] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ┌ [32] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├ [33] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ╰───── repeated 5 times [42] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 [43] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ┌┌[44] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├[45] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 │╰──── repeated 3 times ├┌[50] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├[51] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ├├[52] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├[53] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ├├[54] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 ├├[55] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ├├┌┌[56] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├├├[57] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 │││╰── repeated 3 times ├├├[62] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├├[63] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ││╰─── repeated 2 times ├├[72] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 ├├[73] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ├├[74] expand_forms_1(mod::Module, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, world::UInt64, recursive::Bool) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:408 ├├[75] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29 ├├[76] include(mapexpr::Function, mod::Module, _path::String) ││ @ Base Base.jl:326 ├├[77] top-level scope ││ @ none:6 ├├[78] eval(m::Module, e::Any) ││ @ Core boot.jl:522 ├├[79] exec_options(opts::Base.JLOptions) ││ @ Base client.jl:321 ├├[80] _start() ││ @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/VerifyMacros/0xRqU/test/runtests.jl:5 caused by: UndefVarError: `@_verifytype_internal` not defined in `VerifyMacros` Suggestion: check for spelling errors or missing imports. Stacktrace: [1] getproperty(x::Module, f::Symbol) @ Base Base_compiler.jl:51 [2] eval_macro_name(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, mctx::Base.JuliaLowering.MacroContext, st0::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:169 [3] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:218 [4] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 [5] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 [6] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 [7] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 [8] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ┌ [9] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├ [10] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ╰───── repeated 11 times [31] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 [32] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ┌ [33] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├ [34] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ╰───── repeated 5 times [43] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 [44] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ┌┌[45] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├[46] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 │╰──── repeated 3 times ├┌[51] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├[52] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ├├[53] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├[54] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ├├[55] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 ├├[56] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ├├┌┌[57] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├├├[58] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 │││╰── repeated 3 times ├├├[63] mapchildren(f::Base.JuliaLowering.var"#expand_forms_1##0#expand_forms_1##1"{Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}}, ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │││ @ Base.JuliaSyntax /source/usr/share/julia/JuliaSyntax/src/porcelain/syntax_graph.jl:840 ├├├[64] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) │││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:386 ││╰─── repeated 2 times ├├[73] expand_macro(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:273 ├├[74] expand_forms_1(ctx::Base.JuliaLowering.MacroExpansionContext{Dict{Symbol, Dict{Int64, Any}}}, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:358 ├├[75] expand_forms_1(mod::Module, st::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}, expr_compat_mode::Bool, world::UInt64, recursive::Bool) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/macro_expansion.jl:408 ├├[76] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool) ││ @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:29 ├├[77] include(mapexpr::Function, mod::Module, _path::String) ││ @ Base Base.jl:326 ├├[78] top-level scope ││ @ none:6 ├├[79] eval(m::Module, e::Any) ││ @ Core boot.jl:522 ├├[80] exec_options(opts::Base.JLOptions) ││ @ Base client.jl:321 ├├[81] _start() ││ @ Base client.jl:596 Testing failed after 284.78s ERROR: LoadError: Package VerifyMacros errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/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.14/Pkg/src/Operations.jl:3247 [3] 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.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [8] include(mod::Module, _path::String) @ Base Base.jl:325 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 522.36s: package tests unexpectedly errored