Package evaluation to test HerbConstraints on Julia 1.10.10 (c8be17dcfd*) started at 2026-02-02T15:31:48.797


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...
  Activating project at `~/.julia/environments/v1.10`

Set-up completed after 4.92s


################################################################################
# Installation
#

Installing HerbConstraints...
   Resolving package versions...
    Updating `~/.julia/environments/v1.10/Project.toml`
  [1fa96474] + HerbConstraints v1.1.1
    Updating `~/.julia/environments/v1.10/Manifest.toml`
  [1520ce14] + AbstractTrees v0.4.5
  [864edb3b] + DataStructures v0.19.3
  [ffbed154] + DocStringExtensions v0.9.5
  [e2ba6199] + ExprTools v0.1.10
  [1fa96474] + HerbConstraints v1.1.1
  [2b23ba43] + HerbCore v1.0.0
  [4ef9e186] + HerbGrammar v1.0.0
  [d8e11817] + MLStyle v0.4.17
  [1914dd2f] + MacroTools v0.5.16
  [bac558e1] + OrderedCollections v1.8.1
⌅ [aea7be01] + PrecompileTools v1.2.1
  [21216c6a] + Preferences v1.5.1
  [f489334b] + StyledStrings v1.0.3
  [a759f4b9] + TimerOutputs v0.5.29
  [ade2ca70] + Dates
  [de0858da] + Printf
  [9e88b42a] + Serialization
  [fa267f1f] + TOML v1.0.3
  [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.08s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...

Precompiling package dependencies...
Precompiling packages...
   1288.4 ms  ✓ Clingo_jll
  10497.1 ms  ✓ HerbConstraints
   4397.8 ms  ✓ HerbConstraints → ASPExt
  3 dependencies successfully precompiled in 18 seconds. 29 already precompiled.

Precompilation completed after 30.03s


################################################################################
# Testing
#

     Testing HerbConstraints
      Status `/tmp/jl_ziYO3D/Project.toml`
  [4c88cf16] Aqua v0.8.14
  [1fa96474] HerbConstraints v1.1.1
  [2b23ba43] HerbCore v1.0.0
  [4ef9e186] HerbGrammar v1.0.0
⌅ [c3a54625] JET v0.9.18
  [817f1d60] ReTestItems v1.35.1
  [f8b46487] TestItemRunner v1.1.4
  [1c621080] TestItems v1.0.0
  [98d24dd4] TestSetExtensions v3.0.0
  [e1d4ad0e] Clingo_jll v5.7.1+0
  [8dfed614] Test
      Status `/tmp/jl_ziYO3D/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.19.3
  [ab62b9b5] DeepDiffs v1.2.0
  [ffbed154] DocStringExtensions v0.9.5
  [e2ba6199] ExprTools v0.1.10
  [1fa96474] HerbConstraints v1.1.1
  [2b23ba43] HerbCore v1.0.0
  [4ef9e186] HerbGrammar v1.0.0
⌅ [c3a54625] JET v0.9.18
  [692b3bcd] JLLWrappers v1.7.1
⌅ [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.1
  [817f1d60] ReTestItems v1.35.1
  [f489334b] StyledStrings v1.0.3
  [1e6cf692] TestEnv v1.103.2
  [f8b46487] TestItemRunner v1.1.4
  [1c621080] TestItems v1.0.0
  [98d24dd4] TestSetExtensions v3.0.0
  [a759f4b9] TimerOutputs v0.5.29
  [e1d4ad0e] Clingo_jll v5.7.1+0
  [0dad84c5] ArgTools v1.1.1
  [56f22d72] Artifacts
  [2a0f44e3] Base64
  [ade2ca70] Dates
  [8ba89e20] Distributed
  [f43a241f] Downloads v1.6.0
  [7b1f6079] FileWatching
  [b77e0a4c] InteractiveUtils
  [b27032c2] LibCURL v0.6.4
  [76f85450] LibGit2
  [8f399da3] Libdl
  [56ddb016] Logging
  [d6f4376e] Markdown
  [ca575930] NetworkOptions v1.2.0
  [44cfe95a] Pkg v1.10.0
  [de0858da] Printf
  [3fa0cd96] REPL
  [9a3f8284] Random
  [ea8e919c] SHA v0.7.0
  [9e88b42a] Serialization
  [6462fe0b] Sockets
  [fa267f1f] TOML v1.0.3
  [a4e569a6] Tar v1.10.0
  [8dfed614] Test
  [cf7118a7] UUIDs
  [4ec0a83e] Unicode
  [deac9b47] LibCURL_jll v8.4.0+0
  [e37daf67] LibGit2_jll v1.6.4+0
  [29816b5a] LibSSH2_jll v1.11.0+1
  [c8ffd9c3] MbedTLS_jll v2.28.1010+0
  [14a3606d] MozillaCACerts_jll v2025.12.2
  [83775a58] Zlib_jll v1.2.13+1
  [8e850ede] nghttp2_jll v1.52.0+1
  [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...
[ Info: Scanning for test items in project `HerbConstraints` at paths: /home/pkgeval/.julia/packages/HerbConstraints/PfSbq
[ Info: Finished scanning for test items in 3.39 seconds.
[ Info: Scheduling 25 tests on pid 21
15:33:00 | maxrss  2.3% | mem  2.7% | START ( 1/25) test item "Aqua.jl" at test/aqua_test.jl:1
15:33:36 | maxrss  2.3% | mem  2.9% | DONE  ( 1/25) test item "Aqua.jl" 35.5 secs (44.9% compile, 0.4% recompile, 0.9% GC), 5.63 M allocs (428.714 MB)
15:33:36 | maxrss  2.3% | mem  2.9% | START ( 2/25) test item "ASPSolver" at test/asp_solver_test.jl:1
15:33:47 | maxrss  2.3% | mem  2.8% | DONE  ( 2/25) test item "ASPSolver" 10.7 secs (94.7% compile, 0.3% recompile, 4.8% GC), 3.51 M allocs (255.637 MB)
15:33:47 | maxrss  2.3% | mem  2.8% | START ( 3/25) test item "ContainsSubtree" at test/contains_subtree_test.jl:1
15:33:57 | maxrss  2.3% | mem  2.8% | DONE  ( 3/25) test item "ContainsSubtree" 10.0 secs (98.2% compile, 1.0% GC), 3.42 M allocs (244.153 MB)
15:33:57 | maxrss  2.3% | mem  2.8% | START ( 4/25) test item "Contains" at test/contains_test.jl:1
15:33:57 | maxrss  2.3% | mem  2.8% | DONE  ( 4/25) test item "Contains" 0.6 secs (91.6% compile), 284.45 K allocs (19.592 MB)
15:33:57 | maxrss  2.3% | mem  2.8% | START ( 5/25) test item "csg annotated constraints" at test/csg_annotated_constraints_test.jl:10
15:34:02 | maxrss  2.3% | mem  2.9% | DONE  ( 5/25) test item "csg annotated constraints" 4.4 secs (97.5% compile, 0.8% GC), 1.71 M allocs (121.533 MB)
15:34:02 | maxrss  2.3% | mem  2.9% | START ( 6/25) test item "csgrammar_annotated" at test/csg_annotated_test.jl:1
15:34:03 | maxrss  2.3% | mem  2.9% | DONE  ( 6/25) test item "csgrammar_annotated" 1.5 secs (93.2% compile, 1.0% GC), 366.81 K allocs (27.351 MB)
15:34:03 | maxrss  2.3% | mem  2.9% | START ( 7/25) test item "Domain Utils" at test/domain_utils_test.jl:1
15:34:07 | maxrss  2.3% | mem  2.9% | DONE  ( 7/25) test item "Domain Utils" 4.1 secs (96.9% compile, 0.3% GC), 1.31 M allocs (89.185 MB)
15:34:07 | maxrss  2.3% | mem  2.9% | START ( 8/25) test item "DomainRuleNode" at test/domainrulenode_test.jl:1
15:34:08 | maxrss  2.3% | mem  2.9% | DONE  ( 8/25) test item "DomainRuleNode" 0.7 secs (92.2% compile), 129.08 K allocs (8.911 MB)
15:34:08 | maxrss  2.3% | mem  2.9% | START ( 9/25) test item "Forbidden Sequence" at test/forbidden_sequence_test.jl:1
15:34:12 | maxrss  2.3% | mem  2.9% | DONE  ( 9/25) test item "Forbidden Sequence" 3.9 secs (95.3% compile, 1.9% GC), 1.82 M allocs (132.105 MB)
15:34:12 | maxrss  2.3% | mem  2.9% | START (10/25) test item "Forbidden" at test/forbidden_test.jl:1
15:34:12 | maxrss  2.3% | mem  2.9% | DONE  (10/25) test item "Forbidden" 0.2 secs (59.7% compile), 33.49 K allocs (2.140 MB)
15:34:12 | maxrss  2.3% | mem  2.9% | START (11/25) test item "AbstractGrammarConstraint" at test/grammarconstraints_test.jl:1
15:34:14 | maxrss  2.3% | mem  2.9% | DONE  (11/25) test item "AbstractGrammarConstraint" 1.8 secs (96.0% compile, 1.0% GC), 665.52 K allocs (46.880 MB)
15:34:14 | maxrss  2.3% | mem  2.9% | START (12/25) test item "LessThanOrEqual" at test/lessthanorequal_test.jl:3
15:34:18 | maxrss  2.3% | mem  2.9% | DONE  (12/25) test item "LessThanOrEqual" 3.7 secs (93.9% compile, 0.5% GC), 925.19 K allocs (66.229 MB)
15:34:18 | maxrss  2.3% | mem  2.9% | START (13/25) test item "MakeEqual (UniformSolver)" at test/makeequal_test.jl:1
15:34:18 | maxrss  2.3% | mem  2.9% | DONE  (13/25) test item "MakeEqual (UniformSolver)" 0.6 secs (81.4% compile, 2.9% GC), 144.29 K allocs (10.045 MB)
15:34:18 | maxrss  2.3% | mem  2.9% | START (14/25) test item "Ordered" at test/ordered_test.jl:1
15:34:18 | maxrss  2.3% | mem  2.9% | DONE  (14/25) test item "Ordered" 0.2 secs (40.2% compile), 30.25 K allocs (1.839 MB)
15:34:18 | maxrss  2.3% | mem  2.9% | START (15/25) test item "PatternMatch with DomainRuleNode" at test/pattern_match_domainrulenode_test.jl:1
15:34:19 | maxrss  2.3% | mem  2.9% | DONE  (15/25) test item "PatternMatch with DomainRuleNode" 0.5 secs (73.0% compile), 108.88 K allocs (7.781 MB)
15:34:19 | maxrss  2.3% | mem  2.9% | START (16/25) test item "PatternMatch Edgecase" at test/pattern_match_edgecases_test.jl:2
15:34:19 | maxrss  2.3% | mem  2.9% | DONE  (16/25) test item "PatternMatch Edgecase" 0.3 secs (94.0% compile, 7.2% recompile), 47.34 K allocs (3.450 MB)
15:34:19 | maxrss  2.3% | mem  2.9% | START (17/25) test item "PatternMatch" at test/pattern_match_test.jl:1
15:34:20 | maxrss  2.3% | mem  2.9% | DONE  (17/25) test item "PatternMatch" 0.9 secs (67.3% compile), 167.50 K allocs (11.542 MB)
15:34:20 | maxrss  2.3% | mem  2.9% | START (18/25) test item "StateHole" at test/state_fixed_shaped_hole_test.jl:1
15:34:20 | maxrss  2.3% | mem  2.9% | DONE  (18/25) test item "StateHole" 0.4 secs (81.9% compile), 65.57 K allocs (4.351 MB)
15:34:20 | maxrss  2.3% | mem  2.9% | START (19/25) test item "StateManager" at test/state_manager_test.jl:1
15:34:21 | maxrss  2.3% | mem  2.9% | DONE  (19/25) test item "StateManager" 0.2 secs (61.1% compile), 116.24 K allocs (8.019 MB)
15:34:21 | maxrss  2.3% | mem  2.9% | START (20/25) test item "StateSparseSet" at test/state_sparse_set_test.jl:1
15:34:22 | maxrss  2.3% | mem  2.9% | DONE  (20/25) test item "StateSparseSet" 1.2 secs (87.2% compile, 3.0% GC), 175.26 K allocs (12.523 MB)
15:34:22 | maxrss  2.3% | mem  2.9% | START (21/25) test item "StateStack" at test/state_stack_test.jl:1
15:34:22 | maxrss  2.3% | mem  2.9% | DONE  (21/25) test item "StateStack" 0.2 secs (68.6% compile), 42.84 K allocs (2.698 MB)
15:34:22 | maxrss  2.3% | mem  2.9% | START (22/25) test item "Tree Manipulations (GenericSolver)" at test/treemanipulations_test.jl:1
15:34:23 | maxrss  2.3% | mem  2.9% | DONE  (22/25) test item "Tree Manipulations (GenericSolver)" 1.4 secs (96.0% compile), 326.59 K allocs (22.998 MB)
15:34:23 | maxrss  2.3% | mem  2.9% | START (23/25) test item "Tree Manipulations (UniformSolver)" at test/uniform_treemanipulations_test.jl:1
15:34:24 | maxrss  2.3% | mem  2.9% | DONE  (23/25) test item "Tree Manipulations (UniformSolver)" <0.1 secs (74.1% compile), 6.64 K allocs (474.904 KB)
15:34:24 | maxrss  2.3% | mem  2.9% | START (24/25) test item "Unique" at test/unique_test.jl:1
15:34:25 | maxrss  2.3% | mem  2.9% | DONE  (24/25) test item "Unique" 1.1 secs (93.2% compile, 1.1% GC), 460.80 K allocs (31.442 MB)
15:34:25 | maxrss  2.3% | mem  2.9% | START (25/25) test item "VarNode" at test/varnode_test.jl:1
15:34:25 | maxrss  2.3% | mem  2.9% | DONE  (25/25) test item "VarNode" 0.2 secs (75.7% compile), 40.13 K allocs (2.614 MB)
[ Tests Completed: 25/25 test items were run.
Test Summary:   | Pass  Broken  Total     Time
HerbConstraints | 1032       2   1034  1m26.3s
     Testing HerbConstraints tests passed 

Testing completed after 114.75s

PkgEval succeeded after 158.2s