Package evaluation of HerbConstraints on Julia 1.13.0-DEV.811 (41570e9800*) started at 2025-07-03T13:19:14.169 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.57s ################################################################################ # Installation # Installing HerbConstraints... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [1fa96474] + HerbConstraints v0.4.4 Updating `~/.julia/environments/v1.13/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [34da2185] + Compat v4.17.0 [864edb3b] + DataStructures v0.18.22 [e2ba6199] + ExprTools v0.1.10 [1fa96474] + HerbConstraints v0.4.4 [2b23ba43] + HerbCore v0.3.11 [4ef9e186] + HerbGrammar v0.6.1 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [bac558e1] + OrderedCollections v1.8.1 [a759f4b9] + TimerOutputs v0.5.29 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.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 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 1.09s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 28.35s ################################################################################ # Testing # Testing HerbConstraints Status `/tmp/jl_dIdsUH/Project.toml` [4c88cf16] Aqua v0.8.13 [1fa96474] HerbConstraints v0.4.4 [2b23ba43] HerbCore v0.3.11 [4ef9e186] HerbGrammar v0.6.1 [c3a54625] JET v0.10.6 [8dfed614] Test v1.11.0 Status `/tmp/jl_dIdsUH/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [4c88cf16] Aqua v0.8.13 [da1fd8a2] CodeTracking v1.3.9 [34da2185] Compat v4.17.0 [807dbc54] Compiler v0.1.1 [864edb3b] DataStructures v0.18.22 [e2ba6199] ExprTools v0.1.10 [1fa96474] HerbConstraints v0.4.4 [2b23ba43] HerbCore v0.3.11 [4ef9e186] HerbGrammar v0.6.1 [c3a54625] JET v0.10.6 [aa1ae85d] JuliaInterpreter v0.10.3 [70703baa] JuliaSyntax v1.0.2 [6f1432cf] LoweredCodeUtils v3.4.0 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [bac558e1] OrderedCollections v1.8.1 [21216c6a] Preferences v1.4.3 [a759f4b9] TimerOutputs v0.5.29 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.14.1+1 [e37daf67] LibGit2_jll v1.9.1+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.5.20 [458c3c95] OpenSSL_jll v3.5.1+0 [efcefdf7] PCRE2_jll v10.45.0+0 [83775a58] Zlib_jll v1.3.1+2 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Testing Running tests... interface with grammar: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden.jl:82 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Forbidden, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Forbidden) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden.jl:64 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden.jl:83 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden.jl:91 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:17 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 interface with grammar: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_ordered.jl:179 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Ordered, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Ordered) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_ordered.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_ordered.jl:154 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_ordered.jl:180 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_ordered.jl:192 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:18 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 interface without grammar: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:41 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Contains, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Contains) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:33 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:42 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:42 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:19 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 interface with grammar: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:54 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Contains, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Contains) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:33 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:55 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:56 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:19 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 error: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:64 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Contains, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Contains) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:33 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:65 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains.jl:67 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:19 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 1 VarNode: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:75 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:75 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:76 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:85 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 2 VarNodes, softfails: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:151 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:75 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:152 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:161 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 SoftFail large domain: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:216 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:266 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 SoftFail small domain: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:216 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:266 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 Deduction in Root: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:216 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:266 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 Deduction in Leaf: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:216 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:266 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 Deduction in Root and Leaf: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:216 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:254 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:266 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 HardFail: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:282 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ContainsSubtree, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ContainsSubtree) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:216 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:283 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_contains_subtree.jl:289 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:20 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 infeasible: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Int64}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_infeasible#test_infeasible##0"{var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Int64}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:65 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:133 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:135 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 0 deductions: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:156 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Tuple{Int64, Int64, Int64}}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_propagation#test_propagation##0"{var"#get_sequence#get_sequence##0", var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Tuple{Int64, Int64, Int64}}, sequence_after_propagation::Vector{Tuple{Int64, Int64, Int64}}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:55 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:157 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:159 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 1 deduction: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:166 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Any}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_propagation#test_propagation##0"{var"#get_sequence#get_sequence##0", var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Any}, sequence_after_propagation::Vector{Any}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:55 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:167 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:169 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 2 deductions: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:194 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Any}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_propagation#test_propagation##0"{var"#get_sequence#get_sequence##0", var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Any}, sequence_after_propagation::Vector{Any}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:55 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:195 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:197 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 infeasible (with ignore_if): Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:210 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Int64}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_infeasible#test_infeasible##0"{var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Int64}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:65 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:211 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:213 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 0 deductions (with ignore_if): Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:244 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Int64}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_propagation#test_propagation##0"{var"#get_sequence#get_sequence##0", var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Int64}, sequence_after_propagation::Vector{Int64}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:55 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:245 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:247 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 1 deduction (with ignore_if): Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:266 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Any}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_propagation#test_propagation##0"{var"#get_sequence#get_sequence##0", var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Any}, sequence_after_propagation::Vector{Int64}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:55 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:267 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:269 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 ignore_if: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:288 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] (::var"#dummy_solver#dummy_solver##0")(sequence::Vector{Any}, constraint::ForbiddenSequence) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:27 [3] (::var"#test_propagation#test_propagation##0"{var"#get_sequence#get_sequence##0", var"#dummy_solver#dummy_solver##0"})(constraint::ForbiddenSequence, sequence_before_propagation::Vector{Any}, sequence_after_propagation::Vector{Any}) @ Main ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:55 [4] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:132 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:289 [inlined] [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:291 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [14] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [15] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [16] top-level scope @ none:6 [17] eval(m::Module, e::Any) @ Core ./boot.jl:489 [18] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [19] _start() @ Base ./client.jl:557 interface with grammar: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:312 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:300 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:313 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:321 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 error: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:330 Got exception outside of a @test MethodError: no method matching is_domain_valid(::ForbiddenSequence, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::ForbiddenSequence) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:300 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:331 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_forbidden_sequence.jl:339 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:21 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 Unique: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_unique.jl:1 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Unique, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Unique) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_unique.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_unique.jl:9 [inlined] [5] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [6] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:22 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ none:6 [11] eval(m::Module, e::Any) @ Core ./boot.jl:489 [12] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [13] _start() @ Base ./client.jl:557 add_rule! to grammar and update constraints: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:2 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Contains, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Contains) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:4 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:19 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:30 [inlined] [11] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [12] top-level scope @ none:6 [13] eval(m::Module, e::Any) @ Core ./boot.jl:489 [14] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [15] _start() @ Base ./client.jl:557 Simple example: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:40 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Ordered, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Ordered) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:40 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:41 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:53 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:30 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 Duplicate rules: Error During Test at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:60 Got exception outside of a @test MethodError: no method matching is_domain_valid(::Contains, ::ContextSensitiveGrammar) The function `is_domain_valid` exists, but no method is defined for this combination of argument types. Closest candidates are: is_domain_valid(!Matched::RuleNode, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:98 is_domain_valid(!Matched::AbstractHole, !Matched::Integer) @ HerbCore ~/.julia/packages/HerbCore/ZO6kh/src/rulenode.jl:140 Stacktrace: [1] addconstraint!(grammar::ContextSensitiveGrammar, c::Contains) @ HerbGrammar ~/.julia/packages/HerbGrammar/F7Xxa/src/csg/csg.jl:178 [2] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:2 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:40 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:61 [inlined] [7] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [8] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/test_grammarconstraints.jl:65 [inlined] [9] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [10] top-level scope @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:8 [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [12] macro expansion @ ~/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:30 [inlined] [13] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [14] top-level scope @ none:6 [15] eval(m::Module, e::Any) @ Core ./boot.jl:489 [16] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [17] _start() @ Base ./client.jl:557 Test Summary: | Pass Error Total Time HerbConstraints.jl | 580 27 607 2m23.9s Aqua.jl | 11 11 1m25.3s Domain Utils | 58 58 11.9s Tree Manipulations (GenericSolver) | 31 31 5.5s VarNode | 7 7 0.5s PatternMatch | 63 63 3.4s PatternMatch with DomainRuleNode | 40 40 0.7s LessThanOrEqual | 45 45 6.4s MakeEqual (UniformSolver) | 23 23 4.0s Forbidden | 11 1 12 5.6s check_tree true | 5 5 0.1s check_tree false | 2 2 0.0s update_rule_indices | 4 1 5 5.5s interface without grammar | 4 4 0.2s interface with grammar | 1 1 5.3s Ordered | 20 1 21 0.6s check_tree true, length(order)=2 | 5 5 0.4s check_tree false, length(order)=2 | 2 2 0.0s check_tree true, length(order)=3 | 6 6 0.0s check_tree false, length(order)=3 | 3 3 0.0s update_rule_indices | 4 1 5 0.2s interface without grammar | 4 4 0.1s interface with grammar | 1 1 0.1s Contains | 4 3 7 0.4s check_tree true | 2 2 0.0s check_tree false | 2 2 0.1s update_rule_indices! | 3 3 0.2s interface without grammar | 1 1 0.2s interface with grammar | 1 1 0.0s error | 1 1 0.0s ContainsSubtree | 12 8 20 1.4s check_tree | 2 2 0.2s check_tree (with VarNode) | 2 2 0.0s check_tree, 2 VarNodes | 2 2 0.0s propagate (UniformSolver) | 2 2 0.2s 1 VarNode | 1 1 0.1s 2 VarNodes, softfails | 1 1 0.0s DomainRuleNode | 6 6 0.9s SoftFail large domain | 1 1 0.8s SoftFail small domain | 1 1 0.0s Deduction in Root | 1 1 0.0s Deduction in Leaf | 1 1 0.0s Deduction in Root and Leaf | 1 1 0.0s HardFail | 1 1 0.0s Update rule indices | 6 6 0.1s Update rule index only. | 6 6 0.1s Forbidden Sequence | 22 10 32 1.6s check_tree | 18 18 0.3s propagation | 8 8 0.6s infeasible | 1 1 0.3s 0 deductions | 1 1 0.1s 1 deduction | 1 1 0.1s 2 deductions | 1 1 0.0s infeasible (with ignore_if) | 1 1 0.0s 0 deductions (with ignore_if) | 1 1 0.0s 1 deduction (with ignore_if) | 1 1 0.0s ignore_if | 1 1 0.0s update_rule_indices! | 4 2 6 0.6s interface without grammar | 4 4 0.6s interface with grammar | 1 1 0.0s error | 1 1 0.0s Unique | 1 1 0.2s StateStack | 41 41 0.7s StateSparseSet | 124 124 1.1s StateManager | 29 29 0.1s StateHole | 32 32 0.9s DomainRuleNode | 7 7 0.8s Update domain size only | 1 1 0.2s Update domain size and remap indices | 1 1 0.5s Update with children | 4 4 0.0s error | 1 1 0.0s AbstractGrammarConstraint | 3 3 0.1s add_rule! to grammar and update constraints | 1 1 0.0s merge_grammars! and update constraints | 2 2 0.1s Simple example | 1 1 0.1s Duplicate rules | 1 1 0.0s RNG of the outermost testset: Random.Xoshiro(0xde904ba97e21d7be, 0x3d4b05bd66511df3, 0x297e384234975822, 0x5c8770f8f3c01ec0, 0xed9c8cfb624ac181) ERROR: LoadError: Some tests did not pass: 580 passed, 0 failed, 27 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/HerbConstraints/TRpX6/test/runtests.jl:7 Testing failed after 160.54s ERROR: LoadError: Package HerbConstraints errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2446 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2301 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:500 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:309 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:324 [12] _start() @ Base ./client.jl:557 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 215.19s: package tests unexpectedly errored