Package evaluation to test HerbConstraints on Julia 1.11.7 (58327cce5e*) started at 2025-10-28T17:02:08.169 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.53s ################################################################################ # Installation # Installing HerbConstraints... Resolving package versions... Updating `~/.julia/environments/v1.11/Project.toml` [1fa96474] + HerbConstraints v0.4.7 Updating `~/.julia/environments/v1.11/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [34da2185] + Compat v4.18.1 ⌅ [864edb3b] + DataStructures v0.18.22 [e2ba6199] + ExprTools v0.1.10 [1fa96474] + HerbConstraints v0.4.7 [2b23ba43] + HerbCore v0.3.12 [4ef9e186] + HerbGrammar v0.6.2 [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 [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 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 1.69s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 27.01s ################################################################################ # Testing # Testing HerbConstraints Status `/tmp/jl_5rwxg8/Project.toml` [4c88cf16] Aqua v0.8.14 [1fa96474] HerbConstraints v0.4.7 [2b23ba43] HerbCore v0.3.12 [4ef9e186] HerbGrammar v0.6.2 ⌅ [c3a54625] JET v0.9.20 [8dfed614] Test v1.11.0 Status `/tmp/jl_5rwxg8/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [4c88cf16] Aqua v0.8.14 ⌅ [da1fd8a2] CodeTracking v1.3.9 [34da2185] Compat v4.18.1 ⌅ [864edb3b] DataStructures v0.18.22 [e2ba6199] ExprTools v0.1.10 [1fa96474] HerbConstraints v0.4.7 [2b23ba43] HerbCore v0.3.12 [4ef9e186] HerbGrammar v0.6.2 ⌅ [c3a54625] JET v0.9.20 ⌅ [aa1ae85d] JuliaInterpreter v0.9.46 ⌅ [70703baa] JuliaSyntax v0.4.10 ⌃ [6f1432cf] LoweredCodeUtils v3.2.2 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [bac558e1] OrderedCollections v1.8.1 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.5.0 [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.6.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg 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 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [deac9b47] LibCURL_jll v8.6.0+0 [e37daf67] LibGit2_jll v1.7.2+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.6+0 [14a3606d] MozillaCACerts_jll v2023.12.12 [83775a58] Zlib_jll v1.2.13+1 [8e850ede] nghttp2_jll v1.59.0+0 [3f19e933] p7zip_jll v17.4.0+2 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Testing Running tests... Precompiling HerbConstraints... 13377.6 ms ✓ HerbConstraints 1 dependency successfully precompiled in 14 seconds. 20 already precompiled. Test Summary: | Pass Total Time HerbConstraints.jl | 780 780 4m07.3s Aqua.jl | 11 11 2m53.3s Domain Utils | 58 58 13.1s Tree Manipulations (GenericSolver) | 31 31 5.8s VarNode | 10 10 0.5s PatternMatch | 63 63 2.9s PatternMatch with DomainRuleNode | 40 40 0.8s LessThanOrEqual | 45 45 5.8s MakeEqual (UniformSolver) | 23 23 4.3s Forbidden | 19 19 0.7s Ordered | 28 28 0.6s Contains | 12 12 1.2s ContainsSubtree | 100 100 4.7s Forbidden Sequence | 56 56 6.3s Unique | 24 24 2.0s StateStack | 41 41 0.6s StateSparseSet | 124 124 0.2s StateManager | 29 29 0.0s StateHole | 32 32 0.5s DomainRuleNode | 12 12 1.2s Update domain size only | 1 1 0.2s Update domain size and remap indices | 1 1 0.4s Update with children | 4 4 0.0s error | 1 1 0.0s is_domain_valid | 2 2 0.0s issame | 2 2 0.1s error on number of children mismatch with N children in rules in domain | 1 1 0.5s AbstractGrammarConstraint | 22 22 2.7s add_rule! to grammar and update constraints | 7 7 0.2s merge_grammars! and update constraints | 9 9 2.5s addconstraint! | 5 5 0.0s issame | 1 1 0.0s Testing HerbConstraints tests passed Testing completed after 269.47s PkgEval succeeded after 313.37s