Since our targets include abi, fabi, system, file format, and other options and have to have unique names it is useful to have a common procedure that will generate a unique name for each combination. This PR provides a function for target mass-registration.
To enable access to the generated targets we add [Theory.Target.select] and [Theory.Target.filter] functions that lookup for the targets with the specified properties.
Since our targets include abi, fabi, system, file format, and other options and have to have unique names it is useful to have a common procedure that will generate a unique name for each combination. This PR provides a function for target mass-registration.
To enable access to the generated targets we add [Theory.Target.select] and [Theory.Target.filter] functions that lookup for the targets with the specified properties.