Package evaluation to test HerbConstraints on Julia 1.12.4 (422f456051*) started at 2026-01-29T01:21:56.017


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

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

Set-up completed after 7.45s


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

Installing HerbConstraints...
   Resolving package versions...
   Installed HerbConstraints ─ v1.1.1
    Updating `~/.julia/environments/v1.12/Project.toml`
  [1fa96474] + HerbConstraints v1.1.1
    Updating `~/.julia/environments/v1.12/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
  [a759f4b9] + TimerOutputs v0.5.29
  [de0858da] + Printf v1.11.0
  [9e88b42a] + Serialization v1.11.0
  [f489334b] + StyledStrings v1.11.0
  [4ec0a83e] + Unicode v1.11.0

Installation completed after 1.92s


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

Precompiling PkgEval dependencies...

Precompiling package dependencies...
Precompiling packages...
  16043.8 ms  ✓ HerbConstraints
   1108.5 ms  ✓ Clingo_jll
   3477.1 ms  ✓ HerbConstraints → ASPExt
  3 dependencies successfully precompiled in 21 seconds. 61 already precompiled.

Precompilation completed after 37.77s


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

     Testing HerbConstraints
      Status `/tmp/jl_GhoVjw/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.11.3
  [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 v1.11.0
      Status `/tmp/jl_GhoVjw/Manifest.toml`
  [1520ce14] AbstractTrees v0.4.5
  [4c88cf16] Aqua v0.8.14
  [da1fd8a2] CodeTracking v3.0.0
  [34da2185] Compat v4.18.1
  [807dbc54] Compiler v0.1.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.11.3
  [692b3bcd] JLLWrappers v1.7.1
  [aa1ae85d] JuliaInterpreter v0.10.9
  [70703baa] JuliaSyntax v1.0.2
  [6f1432cf] LoweredCodeUtils v3.5.0
  [d8e11817] MLStyle v0.4.17
  [1914dd2f] MacroTools v0.5.16
  [bac558e1] OrderedCollections v1.8.1
  [aea7be01] PrecompileTools v1.3.3
  [21216c6a] Preferences v1.5.1
  [817f1d60] ReTestItems v1.35.1
  [295af30f] Revise v3.13.2
  [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.2
  [56f22d72] Artifacts v1.11.0
  [2a0f44e3] Base64 v1.11.0
  [ade2ca70] Dates v1.11.0
  [8ba89e20] Distributed 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
  [56ddb016] Logging v1.11.0
  [d6f4376e] Markdown v1.11.0
  [ca575930] NetworkOptions v1.3.0
  [44cfe95a] Pkg v1.12.1
  [de0858da] Printf v1.11.0
  [3fa0cd96] REPL v1.11.0
  [9a3f8284] Random v1.11.0
  [ea8e919c] SHA v0.7.0
  [9e88b42a] Serialization v1.11.0
  [6462fe0b] Sockets 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
  [e66e0078] CompilerSupportLibraries_jll v1.3.0+1
  [deac9b47] LibCURL_jll v8.15.0+0
  [e37daf67] LibGit2_jll v1.9.0+0
  [29816b5a] LibSSH2_jll v1.11.3+1
  [14a3606d] MozillaCACerts_jll v2025.11.4
  [458c3c95] OpenSSL_jll v3.5.4+0
  [83775a58] Zlib_jll v1.3.1+2
  [8e850ede] nghttp2_jll v1.64.0+1
  [3f19e933] p7zip_jll v17.7.0+0
     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 5.15 seconds.
[ Info: Scheduling 25 tests on pid 25
01:23:52 | maxrss  2.3% | mem  3.2% | START ( 1/25) test item "Aqua.jl" at test/aqua_test.jl:1
01:24:38 | maxrss  2.3% | mem  3.3% | DONE  ( 1/25) test item "Aqua.jl" 46.0 secs (54.5% compile, 5.6% recompile, 0.6% GC), 13.58 M allocs (773.248 MB)
01:24:38 | maxrss  2.3% | mem  3.3% | START ( 2/25) test item "ASPSolver" at test/asp_solver_test.jl:1
01:24:59 | maxrss  2.3% | mem  3.3% | DONE  ( 2/25) test item "ASPSolver" 20.2 secs (97.1% compile, 4.2% recompile, 2.8% GC), 8.38 M allocs (466.214 MB)
01:24:59 | maxrss  2.3% | mem  3.3% | START ( 3/25) test item "ContainsSubtree" at test/contains_subtree_test.jl:1
01:25:15 | maxrss  2.3% | mem  3.3% | DONE  ( 3/25) test item "ContainsSubtree" 16.5 secs (98.3% compile, 0.7% GC), 7.07 M allocs (386.658 MB)
01:25:15 | maxrss  2.3% | mem  3.3% | START ( 4/25) test item "Contains" at test/contains_test.jl:1
01:25:16 | maxrss  2.3% | mem  3.3% | DONE  ( 4/25) test item "Contains" 1.3 secs (93.9% compile, 15.0% recompile), 535.27 K allocs (29.130 MB)
01:25:16 | maxrss  2.3% | mem  3.3% | START ( 5/25) test item "csg annotated constraints" at test/csg_annotated_constraints_test.jl:10
01:25:25 | maxrss  2.3% | mem  3.3% | DONE  ( 5/25) test item "csg annotated constraints" 8.7 secs (98.4% compile, 0.5% GC), 4.06 M allocs (218.586 MB)
01:25:25 | maxrss  2.3% | mem  3.3% | START ( 6/25) test item "csgrammar_annotated" at test/csg_annotated_test.jl:1
01:25:27 | maxrss  2.3% | mem  3.3% | DONE  ( 6/25) test item "csgrammar_annotated" 2.2 secs (94.1% compile), 664.94 K allocs (36.826 MB)
01:25:27 | maxrss  2.3% | mem  3.3% | START ( 7/25) test item "Domain Utils" at test/domain_utils_test.jl:1
01:25:33 | maxrss  2.3% | mem  3.3% | DONE  ( 7/25) test item "Domain Utils" 5.9 secs (97.5% compile, 0.7% GC), 2.13 M allocs (116.294 MB)
01:25:33 | maxrss  2.3% | mem  3.3% | START ( 8/25) test item "DomainRuleNode" at test/domainrulenode_test.jl:1
01:25:35 | maxrss  2.3% | mem  3.3% | DONE  ( 8/25) test item "DomainRuleNode" 1.4 secs (95.6% compile), 256.53 K allocs (13.860 MB)
01:25:35 | maxrss  2.3% | mem  3.3% | START ( 9/25) test item "Forbidden Sequence" at test/forbidden_sequence_test.jl:1
01:25:43 | maxrss  2.3% | mem  3.3% | DONE  ( 9/25) test item "Forbidden Sequence" 8.3 secs (97.4% compile, 0.5% GC), 3.64 M allocs (198.476 MB)
01:25:43 | maxrss  2.3% | mem  3.3% | START (10/25) test item "Forbidden" at test/forbidden_test.jl:1
01:25:43 | maxrss  2.3% | mem  3.3% | DONE  (10/25) test item "Forbidden" 0.2 secs (60.5% compile), 47.97 K allocs (2.102 MB)
01:25:43 | maxrss  2.3% | mem  3.3% | START (11/25) test item "AbstractGrammarConstraint" at test/grammarconstraints_test.jl:1
01:25:46 | maxrss  2.3% | mem  3.3% | DONE  (11/25) test item "AbstractGrammarConstraint" 2.6 secs (96.8% compile, 1.7% GC), 1.33 M allocs (70.580 MB)
01:25:46 | maxrss  2.3% | mem  3.3% | START (12/25) test item "LessThanOrEqual" at test/lessthanorequal_test.jl:3
01:25:52 | maxrss  2.3% | mem  3.3% | DONE  (12/25) test item "LessThanOrEqual" 6.2 secs (95.5% compile), 1.85 M allocs (101.699 MB)
01:25:52 | maxrss  2.3% | mem  3.3% | START (13/25) test item "MakeEqual (UniformSolver)" at test/makeequal_test.jl:1
01:25:53 | maxrss  2.3% | mem  3.3% | DONE  (13/25) test item "MakeEqual (UniformSolver)" 1.2 secs (88.7% compile, 3.4% GC), 320.52 K allocs (17.234 MB)
01:25:53 | maxrss  2.3% | mem  3.3% | START (14/25) test item "Ordered" at test/ordered_test.jl:1
01:25:53 | maxrss  2.3% | mem  3.3% | DONE  (14/25) test item "Ordered" 0.2 secs (43.5% compile), 55.04 K allocs (2.367 MB)
01:25:53 | maxrss  2.3% | mem  3.3% | START (15/25) test item "PatternMatch with DomainRuleNode" at test/pattern_match_domainrulenode_test.jl:1
01:25:54 | maxrss  2.3% | mem  3.3% | DONE  (15/25) test item "PatternMatch with DomainRuleNode" 0.7 secs (76.9% compile), 152.57 K allocs (8.188 MB)
01:25:54 | maxrss  2.3% | mem  3.3% | START (16/25) test item "PatternMatch Edgecase" at test/pattern_match_edgecases_test.jl:2
01:25:55 | maxrss  2.3% | mem  3.3% | DONE  (16/25) test item "PatternMatch Edgecase" 0.4 secs (95.9% compile, 7.1% recompile), 87.27 K allocs (4.767 MB)
01:25:55 | maxrss  2.3% | mem  3.3% | START (17/25) test item "PatternMatch" at test/pattern_match_test.jl:1
01:25:56 | maxrss  2.3% | mem  3.3% | DONE  (17/25) test item "PatternMatch" 1.3 secs (73.6% compile), 338.03 K allocs (17.665 MB)
01:25:56 | maxrss  2.3% | mem  3.3% | START (18/25) test item "StateHole" at test/state_fixed_shaped_hole_test.jl:1
01:25:56 | maxrss  2.3% | mem  3.3% | DONE  (18/25) test item "StateHole" 0.6 secs (85.1% compile), 117.76 K allocs (5.920 MB)
01:25:56 | maxrss  2.3% | mem  3.3% | START (19/25) test item "StateManager" at test/state_manager_test.jl:1
01:25:57 | maxrss  2.3% | mem  3.3% | DONE  (19/25) test item "StateManager" 0.4 secs (79.0% compile), 310.62 K allocs (16.087 MB)
01:25:57 | maxrss  2.3% | mem  3.3% | START (20/25) test item "StateSparseSet" at test/state_sparse_set_test.jl:1
01:25:58 | maxrss  2.3% | mem  3.3% | DONE  (20/25) test item "StateSparseSet" 1.5 secs (87.5% compile), 237.90 K allocs (12.894 MB)
01:25:58 | maxrss  2.3% | mem  3.3% | START (21/25) test item "StateStack" at test/state_stack_test.jl:1
01:25:59 | maxrss  2.3% | mem  3.3% | DONE  (21/25) test item "StateStack" 0.5 secs (79.3% compile), 89.04 K allocs (4.432 MB)
01:25:59 | maxrss  2.3% | mem  3.3% | START (22/25) test item "Tree Manipulations (GenericSolver)" at test/treemanipulations_test.jl:1
01:26:01 | maxrss  2.3% | mem  3.3% | DONE  (22/25) test item "Tree Manipulations (GenericSolver)" 2.6 secs (96.6% compile), 848.86 K allocs (45.482 MB)
01:26:01 | maxrss  2.3% | mem  3.3% | START (23/25) test item "Tree Manipulations (UniformSolver)" at test/uniform_treemanipulations_test.jl:1
01:26:02 | maxrss  2.3% | mem  3.3% | DONE  (23/25) test item "Tree Manipulations (UniformSolver)" 0.1 secs (89.8% compile), 12.53 K allocs (648.128 KB)
01:26:02 | maxrss  2.3% | mem  3.3% | START (24/25) test item "Unique" at test/unique_test.jl:1
01:26:04 | maxrss  2.3% | mem  3.3% | DONE  (24/25) test item "Unique" 2.0 secs (95.0% compile), 824.74 K allocs (44.687 MB)
01:26:04 | maxrss  2.3% | mem  3.3% | START (25/25) test item "VarNode" at test/varnode_test.jl:1
01:26:04 | maxrss  2.3% | mem  3.3% | DONE  (25/25) test item "VarNode" 0.2 secs (80.1% compile), 80.91 K allocs (4.024 MB)
[ Tests Completed: 25/25 test items were run.
Test Summary:   | Pass  Broken  Total     Time
HerbConstraints | 1032       2   1034  2m14.6s
     Testing HerbConstraints tests passed 

Testing completed after 197.19s

PkgEval succeeded after 256.41s