Package evaluation of HerbConstraints on Julia 1.13.0-DEV.774 (40c6d1b7c1*) started at 2025-06-24T13:25:24.653 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.17s ################################################################################ # Installation # Installing HerbConstraints... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [1fa96474] + HerbConstraints v0.4.3 Updating `~/.julia/environments/v1.13/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [34da2185] + Compat v4.16.0 [864edb3b] + DataStructures v0.18.22 [e2ba6199] + ExprTools v0.1.10 [1fa96474] + HerbConstraints v0.4.3 [2b23ba43] + HerbCore v0.3.10 [4ef9e186] + HerbGrammar v0.6.0 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [bac558e1] + OrderedCollections v1.8.1 [a759f4b9] + TimerOutputs v0.5.29 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 1.05s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 26.66s ################################################################################ # Testing # Testing HerbConstraints Status `/tmp/jl_8gNxaZ/Project.toml` [864edb3b] DataStructures v0.18.22 [1fa96474] HerbConstraints v0.4.3 [2b23ba43] HerbCore v0.3.10 [4ef9e186] HerbGrammar v0.6.0 [d8e11817] MLStyle v0.4.17 [a759f4b9] TimerOutputs v0.5.29 [8dfed614] Test v1.11.0 Status `/tmp/jl_8gNxaZ/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [34da2185] Compat v4.16.0 [864edb3b] DataStructures v0.18.22 [e2ba6199] ExprTools v0.1.10 [1fa96474] HerbConstraints v0.4.3 [2b23ba43] HerbCore v0.3.10 [4ef9e186] HerbGrammar v0.6.0 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [bac558e1] OrderedCollections v1.8.1 [a759f4b9] TimerOutputs v0.5.29 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 Testing Running tests... Test Summary: | Pass Total Time HerbConstraints.jl | 729 729 57.2s Domain Utils | 58 58 11.3s Tree Manipulations (GenericSolver) | 31 31 4.9s VarNode | 7 7 0.7s PatternMatch | 63 63 3.1s PatternMatch with DomainRuleNode | 40 40 0.6s LessThanOrEqual | 45 45 5.6s MakeEqual (UniformSolver) | 23 23 3.4s Forbidden | 15 15 0.5s Ordered | 24 24 0.4s Contains | 10 10 1.0s ContainsSubtree | 97 97 3.4s Forbidden Sequence | 51 51 4.5s Unique | 20 20 1.7s StateStack | 41 41 0.5s StateSparseSet | 124 124 0.7s StateManager | 29 29 0.0s StateHole | 32 32 0.4s DomainRuleNode | 7 7 0.7s Update domain size only | 1 1 0.2s Update domain size and remap indices | 1 1 0.5s Update with children | 4 4 0.0s error | 1 1 0.0s AbstractGrammarConstraint | 12 12 1.9s add_rule! to grammar and update constraints | 7 7 0.1s merge_grammars! and update constraints | 5 5 1.8s Testing HerbConstraints tests passed Testing completed after 65.07s PkgEval succeeded after 114.0s