Package evaluation to test HerbConstraints on Julia 1.12.6 (15346901f00) started at 2026-06-29T11:48:27.267 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.12` Set-up completed after 6.1s ################################################################################ # Installation # Installing HerbConstraints... Resolving package versions... Installed DataStructures ─ v0.19.6 Updating `~/.julia/environments/v1.12/Project.toml` [1fa96474] + HerbConstraints v1.2.1 Updating `~/.julia/environments/v1.12/Manifest.toml` [1520ce14] + AbstractTrees v0.4.5 [864edb3b] + DataStructures v0.19.6 [ffbed154] + DocStringExtensions v0.9.5 [e2ba6199] + ExprTools v0.1.10 [1fa96474] + HerbConstraints v1.2.1 [2b23ba43] + HerbCore v1.1.0 [4ef9e186] + HerbGrammar v1.2.0 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [bac558e1] + OrderedCollections v2.0.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.81s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 2403.5 ms ✓ TestEnv 1 dependency successfully precompiled in 3 seconds. 26 already precompiled. Precompiling package dependencies... Precompiling packages... 947.5 ms ✓ Compiler 4509.4 ms ✓ OrderedCollections 25350.4 ms ✓ MLStyle 1132.5 ms ✓ DocStringExtensions 1085.4 ms ✓ AbstractTrees 835.9 ms ✓ ExprTools 29518.0 ms ✓ JuliaSyntax 829.5 ms ✓ DeepDiffs 6852.5 ms ✓ MacroTools 717.8 ms ✓ TestItems 3728.7 ms ✓ Compat 1034.2 ms ✓ Preferences 1507.4 ms ✓ CodeTracking 7063.9 ms ✓ ReTestItems 3472.7 ms ✓ DataStructures 5382.6 ms ✓ TimerOutputs 1164.4 ms ✓ TestSetExtensions 2628.1 ms ✓ HerbCore 25374.0 ms ✓ TestItemRunner 4362.8 ms ✓ Aqua 1060.3 ms ✓ PrecompileTools 1183.1 ms ✓ JLLWrappers 10588.7 ms ✓ JuliaInterpreter 1557.1 ms ✓ HerbGrammar 1257.5 ms ✓ Clingo_jll 17282.1 ms ✓ LoweredCodeUtils 12811.3 ms ✓ HerbConstraints 12269.7 ms ✓ Revise 2664.2 ms ✓ HerbConstraints → ASPExt 2419.5 ms ✓ Revise → DistributedExt 83419.8 ms ✓ JET 31 dependencies successfully precompiled in 274 seconds. 34 already precompiled. Precompilation completed after 290.12s ################################################################################ # Testing # Testing HerbConstraints Status `/tmp/jl_lS9ecM/Project.toml` [4c88cf16] Aqua v0.8.16 [1fa96474] HerbConstraints v1.2.1 [2b23ba43] HerbCore v1.1.0 [4ef9e186] HerbGrammar v1.2.0 [c3a54625] JET v0.11.5 [817f1d60] ReTestItems v1.35.1 [f8b46487] TestItemRunner v1.1.5 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [e1d4ad0e] Clingo_jll v5.8.0+0 [8dfed614] Test v1.11.0 Status `/tmp/jl_lS9ecM/Manifest.toml` [1520ce14] AbstractTrees v0.4.5 [4c88cf16] Aqua v0.8.16 [da1fd8a2] CodeTracking v3.0.2 [34da2185] Compat v4.18.1 [807dbc54] Compiler v0.1.1 [864edb3b] DataStructures v0.19.6 [ab62b9b5] DeepDiffs v1.2.0 [ffbed154] DocStringExtensions v0.9.5 [e2ba6199] ExprTools v0.1.10 [1fa96474] HerbConstraints v1.2.1 [2b23ba43] HerbCore v1.1.0 [4ef9e186] HerbGrammar v1.2.0 [c3a54625] JET v0.11.5 [692b3bcd] JLLWrappers v1.8.0 ⌅ [aa1ae85d] JuliaInterpreter v0.10.12 [70703baa] JuliaSyntax v1.0.2 ⌃ [6f1432cf] LoweredCodeUtils v3.6.2 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [bac558e1] OrderedCollections v2.0.1 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [817f1d60] ReTestItems v1.35.1 [295af30f] Revise v3.15.1 [1e6cf692] TestEnv v1.103.6 [f8b46487] TestItemRunner v1.1.5 [1c621080] TestItems v1.0.0 ⌅ [98d24dd4] TestSetExtensions v3.0.0 [a759f4b9] TimerOutputs v0.5.29 [e1d4ad0e] Clingo_jll v5.8.0+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [8bf52ea8] CRC32c 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 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/qvrVD [ Info: Finished scanning for test items in 4.39 seconds. [ Info: Scheduling 26 tests on pid 143 11:54:26 | maxrss 2.4% | mem 3.4% | START ( 1/26) test item "Aqua.jl" at test/aqua_test.jl:1 11:54:58 | maxrss 2.4% | mem 3.5% | DONE ( 1/26) test item "Aqua.jl" 31.9 secs (66.1% compile, 6.2% recompile, 1.2% GC), 12.86 M allocs (695.745 MB) 11:54:58 | maxrss 2.4% | mem 3.5% | START ( 2/26) test item "ASPSolver" at test/asp_solver_test.jl:1 11:55:13 | maxrss 2.4% | mem 3.5% | DONE ( 2/26) test item "ASPSolver" 15.4 secs (96.7% compile, 3.8% recompile, 3.8% GC), 8.43 M allocs (443.397 MB) 11:55:13 | maxrss 2.4% | mem 3.5% | START ( 3/26) test item "Constraint valid with respect to a grammar" at test/check_constraints_test.jl:1 11:55:16 | maxrss 2.4% | mem 3.5% | DONE ( 3/26) test item "Constraint valid with respect to a grammar" 3.0 secs (96.4% compile, 5.1% recompile, 1.9% GC), 1.96 M allocs (100.786 MB) 11:55:16 | maxrss 2.4% | mem 3.5% | START ( 4/26) test item "ContainsSubtree" at test/contains_subtree_test.jl:1 11:55:28 | maxrss 2.4% | mem 3.5% | DONE ( 4/26) test item "ContainsSubtree" 11.5 secs (97.8% compile, 0.5% GC), 6.55 M allocs (339.050 MB) 11:55:28 | maxrss 2.4% | mem 3.5% | START ( 5/26) test item "Contains" at test/contains_test.jl:1 11:55:29 | maxrss 2.4% | mem 3.5% | DONE ( 5/26) test item "Contains" 0.9 secs (91.0% compile), 470.45 K allocs (24.078 MB) 11:55:29 | maxrss 2.4% | mem 3.5% | START ( 6/26) test item "csg annotated constraints" at test/csg_annotated_constraints_test.jl:10 11:55:35 | maxrss 2.4% | mem 3.5% | DONE ( 6/26) test item "csg annotated constraints" 6.3 secs (97.8% compile, 0.9% GC), 3.83 M allocs (194.008 MB) 11:55:35 | maxrss 2.4% | mem 3.5% | START ( 7/26) test item "csgrammar_annotated" at test/csg_annotated_test.jl:1 11:55:36 | maxrss 2.4% | mem 3.5% | DONE ( 7/26) test item "csgrammar_annotated" 1.5 secs (91.1% compile), 562.15 K allocs (29.800 MB) 11:55:36 | maxrss 2.4% | mem 3.5% | START ( 8/26) test item "Domain Utils" at test/domain_utils_test.jl:1 11:55:41 | maxrss 2.4% | mem 3.5% | DONE ( 8/26) test item "Domain Utils" 4.3 secs (96.7% compile, 1.2% GC), 2.41 M allocs (119.894 MB) 11:55:41 | maxrss 2.4% | mem 3.5% | START ( 9/26) test item "DomainRuleNode" at test/domainrulenode_test.jl:1 11:55:42 | maxrss 2.4% | mem 3.5% | DONE ( 9/26) test item "DomainRuleNode" 1.1 secs (93.9% compile), 245.23 K allocs (12.091 MB) 11:55:42 | maxrss 2.4% | mem 3.5% | START (10/26) test item "Forbidden Sequence" at test/forbidden_sequence_test.jl:1 11:55:48 | maxrss 2.4% | mem 3.5% | DONE (10/26) test item "Forbidden Sequence" 6.0 secs (96.6% compile, 1.4% GC), 3.35 M allocs (170.138 MB) 11:55:48 | maxrss 2.4% | mem 3.5% | START (11/26) test item "Forbidden" at test/forbidden_test.jl:1 11:55:48 | maxrss 2.4% | mem 3.5% | DONE (11/26) test item "Forbidden" 0.2 secs (54.3% compile), 47.56 K allocs (2.073 MB) 11:55:48 | maxrss 2.4% | mem 3.5% | START (12/26) test item "AbstractGrammarConstraint" at test/grammarconstraints_test.jl:1 11:55:50 | maxrss 2.4% | mem 3.5% | DONE (12/26) test item "AbstractGrammarConstraint" 1.7 secs (95.0% compile), 1.08 M allocs (54.090 MB) 11:55:50 | maxrss 2.4% | mem 3.5% | START (13/26) test item "LessThanOrEqual" at test/lessthanorequal_test.jl:3 11:55:54 | maxrss 2.4% | mem 3.5% | DONE (13/26) test item "LessThanOrEqual" 4.7 secs (94.2% compile), 1.76 M allocs (91.111 MB) 11:55:54 | maxrss 2.4% | mem 3.5% | START (14/26) test item "MakeEqual (UniformSolver)" at test/makeequal_test.jl:1 11:55:55 | maxrss 2.4% | mem 3.5% | DONE (14/26) test item "MakeEqual (UniformSolver)" 0.8 secs (84.1% compile, 5.5% GC), 281.76 K allocs (14.307 MB) 11:55:55 | maxrss 2.4% | mem 3.5% | START (15/26) test item "Ordered" at test/ordered_test.jl:1 11:55:55 | maxrss 2.4% | mem 3.5% | DONE (15/26) test item "Ordered" 0.2 secs (37.4% compile), 54.64 K allocs (2.332 MB) 11:55:55 | maxrss 2.4% | mem 3.5% | START (16/26) test item "PatternMatch with DomainRuleNode" at test/pattern_match_domainrulenode_test.jl:1 11:55:56 | maxrss 2.4% | mem 3.5% | DONE (16/26) test item "PatternMatch with DomainRuleNode" 0.5 secs (71.1% compile), 148.42 K allocs (7.650 MB) 11:55:56 | maxrss 2.4% | mem 3.5% | START (17/26) test item "PatternMatch Edgecase" at test/pattern_match_edgecases_test.jl:2 11:55:56 | maxrss 2.4% | mem 3.5% | DONE (17/26) test item "PatternMatch Edgecase" 0.3 secs (94.4% compile, 7.0% recompile), 83.32 K allocs (4.356 MB) 11:55:56 | maxrss 2.4% | mem 3.5% | START (18/26) test item "PatternMatch" at test/pattern_match_test.jl:1 11:55:57 | maxrss 2.4% | mem 3.5% | DONE (18/26) test item "PatternMatch" 1.0 secs (65.9% compile), 327.35 K allocs (16.256 MB) 11:55:57 | maxrss 2.4% | mem 3.5% | START (19/26) test item "StateHole" at test/state_fixed_shaped_hole_test.jl:1 11:55:58 | maxrss 2.4% | mem 3.5% | DONE (19/26) test item "StateHole" 0.4 secs (81.5% compile), 113.85 K allocs (5.510 MB) 11:55:58 | maxrss 2.4% | mem 3.5% | START (20/26) test item "StateManager" at test/state_manager_test.jl:1 11:55:58 | maxrss 2.4% | mem 3.5% | DONE (20/26) test item "StateManager" 0.3 secs (72.0% compile), 296.34 K allocs (14.668 MB) 11:55:58 | maxrss 2.4% | mem 3.5% | START (21/26) test item "StateSparseSet" at test/state_sparse_set_test.jl:1 11:55:59 | maxrss 2.4% | mem 3.5% | DONE (21/26) test item "StateSparseSet" 1.2 secs (83.9% compile), 229.84 K allocs (11.828 MB) 11:55:59 | maxrss 2.4% | mem 3.5% | START (22/26) test item "StateStack" at test/state_stack_test.jl:1 11:55:59 | maxrss 2.4% | mem 3.5% | DONE (22/26) test item "StateStack" 0.4 secs (74.0% compile), 85.33 K allocs (3.963 MB) 11:55:59 | maxrss 2.4% | mem 3.5% | START (23/26) test item "Tree Manipulations (GenericSolver)" at test/treemanipulations_test.jl:1 11:56:01 | maxrss 2.4% | mem 3.5% | DONE (23/26) test item "Tree Manipulations (GenericSolver)" 2.0 secs (95.5% compile), 811.01 K allocs (41.759 MB) 11:56:01 | maxrss 2.4% | mem 3.5% | START (24/26) test item "Tree Manipulations (UniformSolver)" at test/uniform_treemanipulations_test.jl:1 11:56:02 | maxrss 2.4% | mem 3.5% | DONE (24/26) test item "Tree Manipulations (UniformSolver)" 0.1 secs (89.4% compile), 12.10 K allocs (593.376 KB) 11:56:02 | maxrss 2.4% | mem 3.5% | START (25/26) test item "Unique" at test/unique_test.jl:1 11:56:03 | maxrss 2.4% | mem 3.5% | DONE (25/26) test item "Unique" 1.6 secs (93.2% compile), 785.70 K allocs (40.204 MB) 11:56:03 | maxrss 2.4% | mem 3.5% | START (26/26) test item "VarNode" at test/varnode_test.jl:1 11:56:03 | maxrss 2.4% | mem 3.5% | DONE (26/26) test item "VarNode" 0.2 secs (75.8% compile), 79.01 K allocs (3.866 MB) [ Tests Completed: 26/26 test items were run. Test Summary: | Pass Broken Total Time HerbConstraints | 1057 2 1059 1m40.1s Testing HerbConstraints tests passed Testing completed after 150.8s PkgEval succeeded after 461.65s