test: integration tests for ThreadPoolExecutor through TraverseRuntime (spec 047)#528

Merged

enricopiovesan merged 4 commits into

mainfrom

507-integration-tests-thread-pool

Jul 3, 2026

Commits on Jul 3, 2026

test: integration tests for ThreadPoolExecutor through TraverseRuntime (spec 047)

authored and
Enrico Piovesan
committed
test: satisfy rust checks for thread pool integration

Enrico Piovesan
authored and
Enrico Piovesan
committed
test: make thread pool parallelism check deterministic

Enrico Piovesan
authored and
Enrico Piovesan
committed
Merge branch 'main' into 507-integration-tests-thread-pool
enricopiovesan
authored