Developer reports
CTest resource-slot feasibility
Test whether indivisible resource requests fit a supplied capacity snapshot.
Your inputs
Start with an exampleYour result
Example resultAa — A small example of your colors.
How it works
Parse CMake 4.3 resource groups and search each resource type independently. A requirement uses one resource ID; separate requirements can share its remaining slots. Return a witness, proven failure or an unknown result when the search limit is reached.
Three 2-slot GPU demands fit IDs a:4 and b:2. The final group also uses chip x:1.
Limits
Snapshot feasibility only: no running-test scheduling, locks or native allocation-order prediction. Up to 64 groups, 128 requests and 500000 search states. Native zero counts/repeated separators are retained; a discarded trailing requirement is diagnosed. IDs and capacities follow CTest JSON rules.