When Pex generates inputs
, it uses an automatic constraint solver
to determine what relevant input values are.
The constraint solver has certain built-in theories which can reason about how the program-under-test uses integer arithemtic and how it accesses memory. However, these theories handle only certain cases.
In order to create objects, Pex needs to know which types are available.
You can tell Pex which values to consider using the following attributes which derive from PexDomainAttributeBase