Package evaluation of HerbConstraints on Julia 1.10.9 (96dc2d8c45*) started at 2025-06-06T13:16:13.927 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.15s ################################################################################ # Installation # Installing HerbConstraints... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [1fa96474] + HerbConstraints v0.4.1 Updating `~/.julia/environments/v1.10/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.1 [2b23ba43] + HerbCore v0.3.9 [4ef9e186] + HerbGrammar v0.5.2 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [bac558e1] + OrderedCollections v1.8.1 ⌅ [aea7be01] + PrecompileTools v1.2.1 [21216c6a] + Preferences v1.4.3 [f489334b] + StyledStrings v1.0.3 [a759f4b9] + TimerOutputs v0.5.29 [2a0f44e3] + Base64 [ade2ca70] + Dates [b77e0a4c] + InteractiveUtils [d6f4376e] + Markdown [de0858da] + Printf [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs [4ec0a83e] + Unicode 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 5.03s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 20.32s ################################################################################ # Testing # Testing HerbConstraints Status `/tmp/jl_TToYZA/Project.toml` [864edb3b] DataStructures v0.18.22 [1fa96474] HerbConstraints v0.4.1 [2b23ba43] HerbCore v0.3.9 [4ef9e186] HerbGrammar v0.5.2 [d8e11817] MLStyle v0.4.17 [a759f4b9] TimerOutputs v0.5.29 [8dfed614] Test Status `/tmp/jl_TToYZA/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.1 [2b23ba43] HerbCore v0.3.9 [4ef9e186] HerbGrammar v0.5.2 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [bac558e1] OrderedCollections v1.8.1 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [f489334b] StyledStrings v1.0.3 [a759f4b9] TimerOutputs v0.5.29 [2a0f44e3] Base64 [ade2ca70] Dates [b77e0a4c] InteractiveUtils [56ddb016] Logging [d6f4376e] Markdown [de0858da] Printf [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [fa267f1f] TOML v1.0.3 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time HerbConstraints.jl | 654 654 39.0s Domain Utils | 58 58 10.0s Tree Manipulations (GenericSolver) | 27 27 2.4s VarNode | 5 5 0.3s PatternMatch | 63 63 2.2s PatternMatch with DomainRuleNode | 40 40 0.5s LessThanOrEqual | 45 45 3.7s MakeEqual (UniformSolver) | 23 23 2.7s Forbidden | 7 7 0.1s Ordered | 16 16 0.2s Contains | 4 4 0.1s ContainsSubtree | 91 91 2.6s Forbidden Sequence | 42 42 3.0s Unique | 15 15 1.0s StateStack | 41 41 0.3s StateSparseSet | 116 116 0.0s StateManager | 29 29 0.1s StateHole | 32 32 0.5s Testing HerbConstraints tests passed Testing completed after 47.37s PkgEval succeeded after 80.67s