Package evaluation of HerbSearch on Julia 1.13.0-DEV.811 (41570e9800*) started at 2025-07-03T15:11:43.970 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.44s ################################################################################ # Installation # Installing HerbSearch... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [3008d8e8] + HerbSearch v0.4.7 Updating `~/.julia/environments/v1.13/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [66dad0bd] + AliasTables v1.1.3 [15f4f7f2] + AutoHashEquals v2.2.0 [34da2185] + Compat v4.17.0 [9a962f9c] + DataAPI v1.16.0 [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.5 [e2ba6199] + ExprTools v0.1.10 [1fa96474] + HerbConstraints v0.4.4 [2b23ba43] + HerbCore v0.3.11 [4ef9e186] + HerbGrammar v0.6.1 [5bbddadd] + HerbInterpret v0.2.1 [3008d8e8] + HerbSearch v0.4.7 [6d54aada] + HerbSpecification v0.2.1 [92d709cd] + IrrationalConstants v0.2.4 [2ab3a3ac] + LogExpFunctions v0.3.29 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.1 [43287f4e] + PtrArrays v1.3.0 [a2af1166] + SortingAlgorithms v1.2.1 [10745b16] + Statistics v1.11.1 [82ae8749] + StatsAPI v1.7.1 [2913bbd2] + StatsBase v0.34.5 [a759f4b9] + TimerOutputs v0.5.29 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra 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 [2f01184e] + SparseArrays v1.12.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.13.1+0 Installation completed after 0.95s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 53.98s ################################################################################ # Testing # Testing HerbSearch Status `/tmp/jl_PxQzXF/Project.toml` [4c88cf16] Aqua v0.8.13 [7806a523] DecisionTree v0.12.4 [1fa96474] HerbConstraints v0.4.4 [2b23ba43] HerbCore v0.3.11 [4ef9e186] HerbGrammar v0.6.1 [5bbddadd] HerbInterpret v0.2.1 [3008d8e8] HerbSearch v0.4.7 [6d54aada] HerbSpecification v0.2.1 [f1f30506] LegibleLambdas v0.3.0 [56ddb016] Logging v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_PxQzXF/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [66dad0bd] AliasTables v1.1.3 [4c88cf16] Aqua v0.8.13 [15f4f7f2] AutoHashEquals v2.2.0 [34da2185] Compat v4.17.0 [9a962f9c] DataAPI v1.16.0 [864edb3b] DataStructures v0.18.22 [7806a523] DecisionTree v0.12.4 [8bb1440f] DelimitedFiles v1.9.1 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [1fa96474] HerbConstraints v0.4.4 [2b23ba43] HerbCore v0.3.11 [4ef9e186] HerbGrammar v0.6.1 [5bbddadd] HerbInterpret v0.2.1 [3008d8e8] HerbSearch v0.4.7 [6d54aada] HerbSpecification v0.2.1 [92d709cd] IrrationalConstants v0.2.4 [f1f30506] LegibleLambdas v0.3.0 [2ab3a3ac] LogExpFunctions v0.3.29 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [e1d29d7a] Missings v1.2.0 [bac558e1] OrderedCollections v1.8.1 [43287f4e] PtrArrays v1.3.0 [6e75b9c4] ScikitLearnBase v0.5.0 [a2af1166] SortingAlgorithms v1.2.1 [10745b16] Statistics v1.11.1 [82ae8749] StatsAPI v1.7.1 [2913bbd2] StatsBase v0.34.5 [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 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.13.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [2f01184e] SparseArrays v1.12.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 [4536629a] OpenBLAS_jll v0.3.29+0 [458c3c95] OpenSSL_jll v3.5.1+0 [efcefdf7] PCRE2_jll v10.45.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+0 [8e850ede] nghttp2_jll v1.65.0+0 [3f19e933] p7zip_jll v17.5.0+2 Testing Running tests... Only one way to fill constraints: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_sampling.jl:69 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] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_sampling.jl:86 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_sampling.jl:70 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_sampling.jl:10 [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:22 [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 Stochastic: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_stochastic/test_stochastic.jl:1 Got exception outside of a @test LoadError: 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/HerbSearch/fV7bo/test/test_stochastic/test_stochastic_with_constraints.jl:9 [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [4] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_stochastic/test_stochastic.jl:2 [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_stochastic/test_stochastic.jl:4 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:23 [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 in expression starting at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_stochastic/test_stochastic_with_constraints.jl:9 Precompiling packages... 4742.8 ms ✓ LegibleLambdas 1 dependency successfully precompiled in 5 seconds. 1 already precompiled. Forbidden constraint: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:31 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/HerbSearch/fV7bo/test/test_uniform_iterator.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:33 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:34 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:26 [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 No solutions (ordered constraint): Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:59 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/HerbSearch/fV7bo/test/test_uniform_iterator.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:60 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:74 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:26 [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 No solutions (forbidden constraint): Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:89 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/HerbSearch/fV7bo/test/test_uniform_iterator.jl:3 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:90 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_uniform_iterator.jl:104 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:26 [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 Number of candidate programs: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:5 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/HerbSearch/fV7bo/test/test_forbidden.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:7 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:18 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:27 [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 Jump Start: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:25 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/HerbSearch/fV7bo/test/test_forbidden.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:26 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:32 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:27 [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 Large Tree: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:54 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/HerbSearch/fV7bo/test/test_forbidden.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:55 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:62 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:27 [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 DomainRuleNode: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:87 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] (::var"#get_grammar1#get_grammar1##0")() @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:100 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:88 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_forbidden.jl:120 [inlined] [8] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [9] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:27 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ none:6 [14] eval(m::Module, e::Any) @ Core ./boot.jl:489 [15] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [16] _start() @ Base ./client.jl:557 Number of candidate programs: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:5 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{Ordered}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:6 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:15 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:28 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 DomainRuleNode: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:30 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/HerbSearch/fV7bo/test/test_ordered.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:32 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:46 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:28 [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 4 symbols: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:68 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/HerbSearch/fV7bo/test/test_ordered.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:69 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:84 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:28 [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 (a, b) and (b, a): Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:97 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/HerbSearch/fV7bo/test/test_ordered.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:98 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_ordered.jl:119 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:28 [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 Permutation grammar: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_contains.jl:5 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/HerbSearch/fV7bo/test/test_contains.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains.jl:7 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains.jl:11 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:29 [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 Minimal Example: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:4 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ContainsSubtree}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:4 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:5 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:22 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:30 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 1 VarNode: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:25 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ContainsSubtree}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:4 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:26 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:40 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:30 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 2 VarNodes: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:43 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ContainsSubtree}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:4 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:44 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:58 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:30 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 No StateHoles: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:62 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ContainsSubtree}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:4 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:63 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:78 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:30 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 Permutations: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:81 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/HerbSearch/fV7bo/test/test_contains_subtree.jl:4 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:83 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_contains_subtree.jl:87 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/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 Number of candidate programs: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_unique.jl:2 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] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_unique.jl:25 [inlined] [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_unique.jl:3 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_unique.jl:2 [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:31 [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 fix_point_running related bug: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:52 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/HerbSearch/fV7bo/test/test_constraints.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:58 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:59 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [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 ContainsSubtree: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ContainsSubtree}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 ContainsSubtree2: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ContainsSubtree}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 Contains: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{Contains}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 ForbiddenSequence: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ForbiddenSequence}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 ForbiddenSequence2: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ForbiddenSequence}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 ForbiddenSequence3: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{ForbiddenSequence}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 Forbidden: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{Forbidden}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 Forbidden2: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{Forbidden}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 Ordered: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{Ordered}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 Unique: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{Unique}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] test_constraints! @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:42 [inlined] [4] #test_constraint!#8 @ ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:80 [inlined] [5] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:96 [inlined] [10] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [11] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:97 [inlined] [12] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [13] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [15] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [16] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [17] top-level scope @ none:6 [18] eval(m::Module, e::Any) @ Core ./boot.jl:489 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [20] _start() @ Base ./client.jl:557 ["Unique", "ContainsSubtree2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ForbiddenSequence", "Contains"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence3"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "ForbiddenSequence"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "Unique"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "Forbidden"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{Forbidden}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "Forbidden2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Ordered", "Contains"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "ForbiddenSequence3"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Unique", "ContainsSubtree2", "Ordered"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ForbiddenSequence", "Contains", "ForbiddenSequence3"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence3", "ForbiddenSequence"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence2", "Unique"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "ForbiddenSequence", "ForbiddenSequence3"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "Unique", "Ordered"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "Forbidden", "Ordered"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "Forbidden2", "ForbiddenSequence"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Ordered", "Contains", "ForbiddenSequence2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "ForbiddenSequence3", "ContainsSubtree2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Unique", "ContainsSubtree2", "Ordered", "ForbiddenSequence2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ForbiddenSequence", "Contains", "ForbiddenSequence3", "Forbidden"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence3", "ForbiddenSequence", "Ordered"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence2", "Unique", "Forbidden"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "ForbiddenSequence", "ForbiddenSequence3", "Ordered"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "Unique", "Ordered", "Forbidden"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "Forbidden", "Ordered", "ContainsSubtree2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "Forbidden2", "ForbiddenSequence", "Ordered"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Ordered", "Contains", "ForbiddenSequence2", "ForbiddenSequence3"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "ForbiddenSequence3", "ContainsSubtree2", "ForbiddenSequence"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Unique", "ContainsSubtree2", "Ordered", "ForbiddenSequence2", "ContainsSubtree"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ForbiddenSequence", "Contains", "ForbiddenSequence3", "Forbidden", "Forbidden2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence3", "ForbiddenSequence", "Ordered", "ContainsSubtree2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "ForbiddenSequence2", "Unique", "Forbidden", "Forbidden2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "ForbiddenSequence", "ForbiddenSequence3", "Ordered", "Unique"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Contains", "Unique", "Ordered", "Forbidden", "ContainsSubtree2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Forbidden2", "Forbidden", "Ordered", "ContainsSubtree2", "ContainsSubtree"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "Forbidden2", "ForbiddenSequence", "Ordered", "Contains"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["Ordered", "Contains", "ForbiddenSequence2", "ForbiddenSequence3", "ContainsSubtree2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 ["ContainsSubtree", "ForbiddenSequence3", "ContainsSubtree2", "ForbiddenSequence", "ForbiddenSequence2"]: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:108 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] test_constraints!(grammar::ContextSensitiveGrammar, constraints::Vector{AbstractGrammarConstraint}; max_size::Int64, max_depth::Int64, allow_trivial::Bool) @ Main ~/.julia/packages/HerbSearch/fV7bo/test/test_helpers.jl:55 [3] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:5 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [5] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:101 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1944 [inlined] [7] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [8] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [9] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:109 [inlined] [10] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [11] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [12] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [13] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [inlined] [14] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [15] top-level scope @ none:6 [16] eval(m::Module, e::Any) @ Core ./boot.jl:489 [17] exec_options(opts::Base.JLOptions) @ Base ./client.jl:290 [18] _start() @ Base ./client.jl:557 all constraints: Error During Test at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:114 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/HerbSearch/fV7bo/test/test_constraints.jl:5 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [4] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:116 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [6] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/test_constraints.jl:118 [inlined] [7] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [8] top-level scope @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:16 [9] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] [10] macro expansion @ ~/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:32 [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 Test Summary: | Pass Error Total Time HerbSearch.jl | 194 72 266 2m39.6s Aqua | 11 11 56.7s Search procedure synth | 8 8 21.9s Search | 1 1 16.3s Search max_enumerations stopping condition | 1 1 0.1s Search with errors in evaluation | 1 1 1.8s Best search | 2 2 0.2s Search_best max_enumerations stopping condition | 1 1 0.1s Search_best with errors in evaluation | 2 2 0.2s Context-free iterators | 36 36 7.5s length on single Real grammar | 4 4 0.3s length on grammar with multiplication | 4 4 0.1s length on different arithmetic operators | 16 16 0.0s length on grammar with functions | 4 4 0.0s BFSIterator test | 3 3 0.6s DFSIterator test | 2 2 0.2s MLFSIterator tests | 3 3 6.3s Sampling grammar | 30 1 31 6.4s Sampling with rand() returns programs in the given max_depth | 20 20 0.7s rand() gives the possible expressions for a certain max_depth | 5 5 0.0s Sampling throws an error if all expressions have a higher depth than max_depth | 5 5 0.3s Only one way to fill constraints | 1 1 5.3s Stochastic | 44 1 45 16.9s Accept function | 17 17 3.5s Cost functions | 14 14 4.1s Algorithms | 13 13 8.2s MH | 5 5 5.5s mh x * x + 4 | 1 1 3.8s mh x * (x + 5) | 1 1 0.2s factorization | 3 3 1.6s mh 5 * 5 * 5 | 1 1 0.3s mh 2 * 3 * 5 * 5 | 1 1 1.0s mh 2 * 2 * 3 * 4 * 5 | 1 1 0.2s Very Large Scale Neighbourhood | 4 4 0.8s vl x | 1 1 0.6s vl 2 | 1 1 0.1s vl 4 | 1 1 0.1s vl 10 | 1 1 0.1s Simulated Annealing | 4 4 1.9s sa x * x + 4 | 1 1 1.1s sa x * (x + 5) | 1 1 0.6s factorization | 2 2 0.2s sa 5 * 5 | 1 1 0.1s sa 2 * 3 * 4 | 1 1 0.1s Genetic search algorithms | 40 40 12.6s mutate_random | 21 21 0.2s Cross over | 10 10 0.2s Synthesize simple arithmetic expressions | 6 6 12.0s syntesizing expr x -> 1 | 1 1 2.6s syntesizing expr x -> 10 | 1 1 0.9s syntesizing expr x -> 625 | 1 1 0.2s syntesizing expr x -> 3x | 1 1 0.1s syntesizing expr x -> 3x + 10 | 1 1 0.1s syntesizing expr x -> 3 * x * x + (x + 2) | 1 1 6.1s Validation logic | 3 3 0.2s @iterator macro | 19 19 0.2s no inheritance | 3 3 0.1s with inheritance | 2 2 0.0s inheriting from something !<: ProgramIterator | 1 1 0.0s mutable iterator | 3 3 0.0s with default values | 3 3 0.0s Check if max_depth and max_size are overwritten | 4 4 0.0s Check default constructors with a solver | 3 3 0.0s UniformIterator | 3 3 6 0.9s Without constraints | 1 1 0.7s Forbidden constraint | 1 1 0.0s The root is the only solution | 2 2 0.0s No solutions (ordered constraint) | 1 1 0.1s No solutions (forbidden constraint) | 1 1 0.0s Forbidden | 1 4 5 0.1s Number of candidate programs | 1 1 2 0.0s Jump Start | 1 1 0.0s Large Tree | 1 1 0.0s DomainRuleNode | 1 1 0.1s Ordered | 4 4 1.6s Number of candidate programs | 1 1 1.6s DomainRuleNode | 1 1 0.0s 4 symbols | 1 1 0.0s (a, b) and (b, a) | 1 1 0.0s Contains | 1 1 0.0s Permutation grammar | 1 1 0.0s ContainsSubtree | 5 5 1.0s Minimal Example | 1 1 0.8s 1 VarNode | 1 1 0.1s 2 VarNodes | 1 1 0.1s No StateHoles | 1 1 0.0s Permutations | 1 1 0.0s Unique | 2 1 3 0.3s Number of candidate programs | 2 1 3 0.3s Constraints | 52 52 20.7s fix_point_running related bug | 1 1 0.1s 1 constraint | 10 10 2.3s ContainsSubtree | 1 1 0.1s ContainsSubtree2 | 1 1 0.0s Contains | 1 1 0.4s ForbiddenSequence | 1 1 0.8s ForbiddenSequence2 | 1 1 0.0s ForbiddenSequence3 | 1 1 0.0s Forbidden | 1 1 0.4s Forbidden2 | 1 1 0.0s Ordered | 1 1 0.2s Unique | 1 1 0.3s 2 constraints | 10 10 2.9s ["Unique", "ContainsSubtree2"] | 1 1 0.3s ["ForbiddenSequence", "Contains"] | 1 1 0.1s ["Contains", "ForbiddenSequence3"] | 1 1 0.0s ["Contains", "ForbiddenSequence2"] | 1 1 0.0s ["Forbidden2", "ForbiddenSequence"] | 1 1 0.0s ["Contains", "Unique"] | 1 1 0.0s ["Forbidden2", "Forbidden"] | 1 1 0.0s ["ContainsSubtree", "Forbidden2"] | 1 1 0.1s ["Ordered", "Contains"] | 1 1 0.0s ["ContainsSubtree", "ForbiddenSequence3"] | 1 1 0.0s 3 constraints | 10 10 14.6s ["Unique", "ContainsSubtree2", "Ordered"] | 1 1 0.0s ["ForbiddenSequence", "Contains", "ForbiddenSequence3"] | 1 1 0.0s ["Contains", "ForbiddenSequence3", "ForbiddenSequence"] | 1 1 0.0s ["Contains", "ForbiddenSequence2", "Unique"] | 1 1 0.0s ["Forbidden2", "ForbiddenSequence", "ForbiddenSequence3"] | 1 1 0.0s ["Contains", "Unique", "Ordered"] | 1 1 14.4s ["Forbidden2", "Forbidden", "Ordered"] | 1 1 0.0s ["ContainsSubtree", "Forbidden2", "ForbiddenSequence"] | 1 1 0.0s ["Ordered", "Contains", "ForbiddenSequence2"] | 1 1 0.0s ["ContainsSubtree", "ForbiddenSequence3", "ContainsSubtree2"] | 1 1 0.0s 4 constraints | 10 10 0.2s ["Unique", "ContainsSubtree2", "Ordered", "ForbiddenSequence2"] | 1 1 0.0s ["ForbiddenSequence", "Contains", "ForbiddenSequence3", "Forbidden"] | 1 1 0.0s ["Contains", "ForbiddenSequence3", "ForbiddenSequence", "Ordered"] | 1 1 0.0s ["Contains", "ForbiddenSequence2", "Unique", "Forbidden"] | 1 1 0.0s ["Forbidden2", "ForbiddenSequence", "ForbiddenSequence3", "Ordered"] | 1 1 0.0s ["Contains", "Unique", "Ordered", "Forbidden"] | 1 1 0.0s ["Forbidden2", "Forbidden", "Ordered", "ContainsSubtree2"] | 1 1 0.0s ["ContainsSubtree", "Forbidden2", "ForbiddenSequence", "Ordered"] | 1 1 0.0s ["Ordered", "Contains", "ForbiddenSequence2", "ForbiddenSequence3"] | 1 1 0.0s ["ContainsSubtree", "ForbiddenSequence3", "ContainsSubtree2", "ForbiddenSequence"] | 1 1 0.0s 5 constraints | 10 10 0.3s ["Unique", "ContainsSubtree2", "Ordered", "ForbiddenSequence2", "ContainsSubtree"] | 1 1 0.0s ["ForbiddenSequence", "Contains", "ForbiddenSequence3", "Forbidden", "Forbidden2"] | 1 1 0.0s ["Contains", "ForbiddenSequence3", "ForbiddenSequence", "Ordered", "ContainsSubtree2"] | 1 1 0.0s ["Contains", "ForbiddenSequence2", "Unique", "Forbidden", "Forbidden2"] | 1 1 0.0s ["Forbidden2", "ForbiddenSequence", "ForbiddenSequence3", "Ordered", "Unique"] | 1 1 0.0s ["Contains", "Unique", "Ordered", "Forbidden", "ContainsSubtree2"] | 1 1 0.0s ["Forbidden2", "Forbidden", "Ordered", "ContainsSubtree2", "ContainsSubtree"] | 1 1 0.0s ["ContainsSubtree", "Forbidden2", "ForbiddenSequence", "Ordered", "Contains"] | 1 1 0.1s ["Ordered", "Contains", "ForbiddenSequence2", "ForbiddenSequence3", "ContainsSubtree2"] | 1 1 0.0s ["ContainsSubtree", "ForbiddenSequence3", "ContainsSubtree2", "ForbiddenSequence", "ForbiddenSequence2"] | 1 1 0.0s all constraints | 1 1 0.0s RNG of the outermost testset: Xoshiro(0x9951797c85a704f1, 0xb9d66be14dfba82b, 0xb170153285fd9556, 0xe90a07f7bdd1fd77, 0x9d4b5ee33e4bd661) ERROR: LoadError: Some tests did not pass: 194 passed, 0 failed, 72 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/HerbSearch/fV7bo/test/runtests.jl:15 Testing failed after 162.15s ERROR: LoadError: Package HerbSearch 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 268.7s: package tests unexpectedly errored